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
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Chockler, Hana (Editor), Kroening, Daniel (Editor), Mariani, Leonardo (Editor), Sharygina, Natasha (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Subjects:
Online Access:http://dx.doi.org/10.1007/978-3-319-10623-6
Перейти в каталог НБ ТГУ