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, LEONARDO
Penultimo
;
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.
Capitolo o saggio
Static analysis, dynamic analysis
English
Validation of Evolving Software
9783319106229
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].
Chockler, H; Kroening, D; Mariani, L; Sharygina, N
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/128922
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact