Validation of Evolving Software

Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha

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.

Details

Published by: Springer

Publication Date: 2016-10-17

Format: Paperback

ISBN-13: 9783319382005

DOI: 10.1007/978-3-319-10623-6

Dimensions: 235cm x155cm

Pages: 220