Download or read book Validation of Evolving Software written by Hana Chockler and published by Springer. This book was released on 2015-07-01 with total page 216 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.