Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

By Corina S. Pasareanu

Book Overview

This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems. Symbolic execution is a... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1681738546
• ISBN13: 9781681738543
• Release Date: May 2020
• Publisher: Morgan & Claypool
• Length: 75 Pages
• Weight: 0.32 lbs.
• Dimensions: 0.2" x 7.5" x 9.3"