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

Validation of Evolving Software cover

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.