Validation of Evolving Software
- Hana Chockler
- Daniel Kroening
- Leonardo Mariani
- Natasha Sharygina
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹3,503Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹43.44Audible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Validation of Evolving Software is written by Hana Chockler and published by Springer. It's available with International Standard Book Number or ISBN identification 3319106236 (ISBN 10) and 9783319106236 (ISBN 13).
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.
