Hana Chockler,
Daniel Kroening,
Leonardo Mariani,
Natasha Sharygina
e.a.
Springer International Publishing
e druk, 2016
9783319382005
Validation of Evolving Software
Specificaties
Paperback, blz.
|
Engels
Springer International Publishing |
e druk, 2016
ISBN13: 9783319382005
Rubricering
Levertijd ongeveer 8 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783319382005
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Inhoudsopgave
Introduction.- Challenges of Existing Technology.- Static Analysis.- Dynamic Analysis.- Hybrid Analysis.- Quality of Validation.