Validation of evolving software

Hana Chockler; Daniel Kroening; Leonardo Mariani; Natasha Sharygina

doi:10.1007/978-3-319-10623-6

Validation of evolving software

Hana Chockler
, Daniel Kroening
, Leonardo Mariani
, Natasha Sharygina

Università degli Studi di Milano-Bicocca
Universita della Svizzera Italiana
University of Oxford

Research output: Book/Report › Book › peer-review

2 Citations (Scopus)

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.

Original language	English
Publisher	Springer International Publishing Switzerland
Number of pages	220
ISBN (Print)	9783319106236, 9783319106229
DOIs	https://doi.org/10.1007/978-3-319-10623-6
Publication status	Published - 1 Jan 2015

Access to Document

10.1007/978-3-319-10623-6

Cite this

@book{988be8fac8c84eaf822e750b12a51336,

title = "Validation of evolving software",

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.",

author = "Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina",

year = "2015",

month = jan,

day = "1",

doi = "10.1007/978-3-319-10623-6",

language = "English",

isbn = "9783319106236",

publisher = "Springer International Publishing Switzerland",

}

TY - BOOK

T1 - Validation of evolving software

AU - Chockler, Hana

AU - Kroening, Daniel

AU - Mariani, Leonardo

AU - Sharygina, Natasha

PY - 2015/1/1

Y1 - 2015/1/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84943758916

U2 - 10.1007/978-3-319-10623-6

DO - 10.1007/978-3-319-10623-6

M3 - Book

AN - SCOPUS:84943758916

SN - 9783319106236

SN - 9783319106229

BT - Validation of evolving software

PB - Springer International Publishing Switzerland

ER -

Validation of evolving software

Abstract

Access to Document

Other files and links

Fingerprint

Cite this