Complementarities among the technologies presented in the book

Hana Chockler*, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


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.

Original languageEnglish
Title of host publicationValidation of Evolving Software
PublisherSpringer International Publishing Switzerland
Number of pages3
ISBN (Print)9783319106236, 9783319106229
Publication statusPublished - 1 Jan 2015


Dive into the research topics of 'Complementarities among the technologies presented in the book'. Together they form a unique fingerprint.

Cite this