Complementarities among the technologies presented in the book

Hana Chockler; Daniel Kroening; Leonardo Mariani; Natasha Sharygina

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

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 proceeding › Chapter › peer-review

Abstract

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 language	English
Title of host publication	Validation of Evolving Software
Publisher	Springer International Publishing Switzerland
Pages	19-21
Number of pages	3
ISBN (Print)	9783319106236, 9783319106229
DOIs	https://doi.org/10.1007/978-3-319-10623-6_3
Publication status	Published - 1 Jan 2015

Access to Document

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

Cite this

@inbook{38068134b3144517bb7eb4f6de72d681,

title = "Complementarities among the technologies presented in the book",

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

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

language = "English",

isbn = "9783319106236",

pages = "19--21",

booktitle = "Validation of Evolving Software",

publisher = "Springer International Publishing Switzerland",

}

TY - CHAP

T1 - Complementarities among the technologies presented in the book

AU - Chockler, Hana

AU - Kroening, Daniel

AU - Mariani, Leonardo

AU - Sharygina, Natasha

PY - 2015/1/1

Y1 - 2015/1/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=84943789082&partnerID=8YFLogxK

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

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

M3 - Chapter

AN - SCOPUS:84943789082

SN - 9783319106236

SN - 9783319106229

SP - 19

EP - 21

BT - Validation of Evolving Software

PB - Springer International Publishing Switzerland

ER -

Complementarities among the technologies presented in the book

Abstract

Access to Document

Other files and links

Fingerprint

Cite this