Validation of Evolving Software (Repost)
Validation of Evolving Software By Hana Chockler, Daniel Kroening, Leonardo Mariani
2015 | 230 Pages | ISBN: 3319106228 | PDF | 6 MB
2015 | 230 Pages | ISBN: 3319106228 | PDF | 6 MB
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.