Validation of Evolving Software [[electronic resource] /] / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Validation of Evolving Software [[electronic resource] /] / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Edizione: | 1st ed. 2015. |
| Descrizione fisica: | 1 online resource (216 p.) |
| Disciplina: | 004 |
| Soggetto topico: | Software engineering |
| Computer science | |
| Software Engineering | |
| Computer Science Logic and Foundations of Programming | |
| Persona (resp. second.): | ChocklerHana |
| KroeningDaniel | |
| MarianiLeonardo | |
| SharyginaNatasha | |
| Note generali: | Description based upon print version of record. |
| Nota di bibliografia: | Includes bibliographical references. |
| Nota di contenuto: | Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Validation of Evolving Software |
| ISBN: | 3-319-10623-6 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910299253603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |