| 书目名称 | Validation of Evolving Software |
| 编辑 | Hana Chockler,Daniel Kroening,Natasha Sharygina |
| 视频video | http://file.papertrans.cn/981/980271/980271.mp4 |
| 概述 | Builds a unified approach to efficient and reliable validation of changes and upgrades.Contributing authors among the leading academic researchers, with extensive industrial experience.Useful referenc |
| 图书封面 |  |
| 描述 | .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.. |
| 出版日期 | Book 2015 |
| 关键词 | Efficient Validation; Evolving Software; Formal Methods; Hybrid Techniques; Incremental Validation; Testi |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-10623-6 |
| isbn_softcover | 978-3-319-38200-5 |
| isbn_ebook | 978-3-319-10623-6 |
| copyright | Springer International Publishing Switzerland 2015 |