TY  - BOOK
AU  - Chockler,Hana
AU  - Kroening,Daniel
AU  - Mariani,Leonardo
AU  - Sharygina,Natasha
ED  - SpringerLink (Online service)
TI  - Validation of Evolving Software
SN  - 9783319106236
AV  - QA76.758 
U1  - 005.1 23
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer Science
KW  - Software engineering
KW  - Computer logic
KW  - Software Engineering
KW  - Logics and Meanings of Programs
N1  - Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation
N2  - This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book
UR  - http://dx.doi.org/10.1007/978-3-319-10623-6
ER  -