In this book we describe a methodology and accompanying technology for reducing the costs of validation of changes by several orders of magnitude by introducing automatic techniques to analyze and test software increments.
Chockler, H., Kroening, D., Mariani, L., Sharygina, N. (2015). Introduction. In Validation of Evolving Software (pp. 3-5). Springer International Publishing [10.1007/978-3-319-10623-6_1].
Introduction
MARIANI, LEONARDOPenultimo
;
2015
Abstract
In this book we describe a methodology and accompanying technology for reducing the costs of validation of changes by several orders of magnitude by introducing automatic techniques to analyze and test software increments.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.