Validation of Evolving Software
Hana Chockler editor Daniel Kroening editor Leonardo Mariani editor Natasha Sharygina editor
Format:Hardback
Publisher:Springer International Publishing AG
Published:10th Jul '15
Currently unavailable, and unfortunately no date known when it will be back
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.
ISBN: 9783319106229
Dimensions: unknown
Weight: 4675g
220 pages
2015 ed.