Validation of evolving software: [electronic resource] /: Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina, editors.

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

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

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

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

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