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.
Chockler, H., Kroening, D., Mariani, L., Sharygina, N. (a cura di). (2015). Validation of evolving software. Springer International Publishing [10.1007/978-3-319-10623-6].
Validation of evolving software
MARIANI, LEONARDOPenultimo
;
2015
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.