Validation of Evolving Software
Hana Chockler editor Daniel Kroening editor Leonardo Mariani editor Natasha Sharygina editor
Format:Paperback
Publisher:Springer International Publishing AG
Published:17th Oct '16
Should be back in stock very soon
This paperback is available in another edition too:
- Hardback£44.99(9783319106229)

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: 9783319382005
Dimensions: unknown
Weight: unknown
220 pages
Softcover reprint of the original 1st ed. 2015