Validation of evolving software

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Research output: Book/ReportBookpeer-review

2 Citations (Scopus)


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 languageEnglish
PublisherSpringer International Publishing Switzerland
Number of pages220
ISBN (Print)9783319106236, 9783319106229
Publication statusPublished - 1 Jan 2015


Dive into the research topics of 'Validation of evolving software'. Together they form a unique fingerprint.

Cite this