Validation of evolving software [electronic resource] / Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina, editors.
Chockler, Hana, editor.; Kroening, Daniel, editor.; Mariani, Leonardo, editor.; Sharygina, Natasha, editor.
2015
QA76.76.V47 V35 2015eb
Available Online

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
DOI https://doi.org/10.1007/978-3-319-10623-6
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.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Introduction
Challenges of Existing Technology
Static Analysis
Dynamic Analysis
Hybrid Analysis
Quality of Validation.

Browse Subjects

Show more subjects...

Statistics

from
to
Export