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, LEONARDO
Penultimo
;
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.
Breve introduzione
Static analysis, dynamic analysis
English
Validation of Evolving Software
2015
9783319106229
Springer International Publishing
3
5
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].
none
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/128926
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact