Validation of Evolving Software | OPEN EDUCATIONAL RESOURCES

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Image of Validation of Evolving Software

Text

Validation of Evolving Software

CHOCKLER, Hana - Personal Name; KROENING, Daniel - Personal Name; MARIANI, Leonardo - Personal Name; SHARYGINA, Natasha - Personal Name;

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.

Availability

No copy data

Detail Information

Series Title: -
Call Number: -
Publisher: : Springer Cham., 2015
Collation: VIII, 220
Language: English
ISBN/ISSN: 978-3-319-10623-6
Classification: NONE
Content Type: text
Media Type: computer
Carrier Type: online resource
Edition: -
Subject(s): Software Engineering
Specific Detail Info: -
Statement of Responsibility: Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Other Information

Cataloger: Yudi
Source: -
Validator: -

Other version/related

No other version available

File Attachment

Validation of Evolving Software

Comments

You must be logged in to post a comment