Validation of evolving software [electronic resource] / Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina, editors.
2015
QA76.76.V47 V35 2015eb
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Validation of evolving software [electronic resource] / Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina, editors.
ISBN
9783319106236 electronic book
3319106236 electronic book
9783319106229
3319106236 electronic book
9783319106229
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource (viii, 218 pages) : illustrations.
Item Number
10.1007/978-3-319-10623-6 doi
Call Number
QA76.76.V47 V35 2015eb
Dewey Decimal Classification
005.1/4
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.
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed July 7, 2015).
Added Author
Chockler, Hana, editor.
Kroening, Daniel, editor.
Mariani, Leonardo, editor.
Sharygina, Natasha, editor.
Kroening, Daniel, editor.
Mariani, Leonardo, editor.
Sharygina, Natasha, editor.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Introduction
Challenges of Existing Technology
Static Analysis
Dynamic Analysis
Hybrid Analysis
Quality of Validation.
Challenges of Existing Technology
Static Analysis
Dynamic Analysis
Hybrid Analysis
Quality of Validation.