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:

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: 9783319382005

Dimensions: unknown

Weight: unknown

220 pages

Softcover reprint of the original 1st ed. 2015