Validation of Evolving Software
Chockler, Hana
Kroening, Daniel
Mariani, Leonardo
Sharygina, Natasha
88,39 €(IVA inc.)
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: 978-3-319-38200-5
- Editorial: Springer
- Encuadernacion: Rústica
- Páginas: 220
- Fecha Publicación: 17/10/2016
- Nº Volúmenes: 1
- Idioma: Inglés