Validation of Evolving Software / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina.

Contributor(s):

Material type: Text

TextLanguage: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Description: 1 online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783319106236

Subject(s):

LOC classification:

QA76.758

Online resources:

Springer eBooks Online access link to the resource

Contents:

Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.

Summary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Status	Notes	Date due	Barcode
E-Book	Merkez Kütüphane	Merkez Kütüphane	E-Kitap Koleksiyonu	QA76.758EBK (Browse shelf(Opens below))	Geçerli değil-e-Kitap / Not applicable-e-Book			EBK00995

Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.

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.

There are no comments on this title.

to post a comment.