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, LEONARDO
Penultimo
;
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.
Verification, Validation, Static Analysis, Dynamic Analysis
English
2015
9783319106229
220
Springer International Publishing
none
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].
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/128920
Citazioni
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
Social impact