Text

Validation of Evolving Software

---

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

-

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
Logics and Meanings of Programs

Specific Detail Info

-

Statement of Responsibility

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Other Information

Cataloger

Yudi

Source

-

Validator

-

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment