Symbolic execution and quantitative reasoning: applications to software safety and security
Auteur :
Păsăreanu, Corina S.
Éditeur :
Springer International Publishing AG
ISBN :
9783031014239
Date de publication :
13 mai 2020
Dimensions :
23,5 x 19,1 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.