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 systematic program analysis technique which explores multiple program behaviors all at once by collecting and solving symbolic constraints collected from the branching conditions in the program. The obtained solutions can be used as test inputs that...

• Format: Paperback
• Language: English
• ISBN: 3031014235
• ISBN13: 9783031014239
• Release Date: May 2020
• Publisher: Springer
• Length: 65 Pages