Symbolic Execution and Quantitative Reasoning - Bog af Corina S. P¿s¿reanu - Paperback
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 execute feasible program paths. Symbolic execution..
Bogreolen.dk
DKK 243.95