This book presents static analysis, dynamic analysis, and hybrid analysis technologies that can check the correctness of software upgrades. The number and complexity of the technologies might seem overwhelming, which is why we felt the need to present the reader with a guide to the different types and recommendations on where and how to use them.
Chockler, H., Kroening, D., Mariani, L., Sharygina, N. (2015). Complementarities among the technologies presented in the book. In Validation of Evolving Software (pp. 19-21). Springer International Publishing [10.1007/978-3-319-10623-6_3].
Complementarities among the technologies presented in the book
MARIANI, LEONARDOPenultimo
;
2015
Abstract
This book presents static analysis, dynamic analysis, and hybrid analysis technologies that can check the correctness of software upgrades. The number and complexity of the technologies might seem overwhelming, which is why we felt the need to present the reader with a guide to the different types and recommendations on where and how to use them.
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.
