Validation of Evolving Software

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...

Full description

Bibliographic Details
Other Authors: Chockler, Hana (Editor), Kroening, Daniel (Editor), Mariani, Leonardo (Editor), Sharygina, Natasha (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2015, 2015
Edition:1st ed. 2015
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Summary: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
Physical Description:VIII, 220 p. 60 illus., 28 illus. in color online resource
ISBN:9783319106236