书目名称 | Validation of Evolving Software |
编辑 | Hana Chockler,Daniel Kroening,Natasha Sharygina |
视频video | |
概述 | 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 |