TY  - GEN
TY  - GEN
T1  - Validation of Evolving Software
A2  - Chockler, Hana.
A2  - Chockler, Hana.
A2  - Kroening, Daniel.
A2  - Kroening, Daniel.
A2  - Mariani, Leonardo.
A2  - Mariani, Leonardo.
A2  - Sharygina, Natasha.
A2  - Sharygina, Natasha.
LA  - English
PP  - Cham
PB  - Springer International Publishing : Imprint: Springer
YR  - 2015
ED  - 1st ed. 2015.
UL  - http://discoverylib.upm.edu.my/discovery/Record/978-3-319-10623-6
AB  - 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.
OP  - 220
CN  - QA76.758
SN  - 9783319106236
KW  - Software engineering.
KW  - Computer logic.
KW  - Software Engineering.
KW  - Logics and Meanings of Programs.
ER  -