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...

全面介绍

Saved in:
书目详细资料
企业作者: SpringerLink (Online service)
其他作者: Chockler, Hana. (Editor, http://id.loc.gov/vocabulary/relators/edt), Kroening, Daniel. (Editor, http://id.loc.gov/vocabulary/relators/edt), Mariani, Leonardo. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sharygina, Natasha. (Editor, http://id.loc.gov/vocabulary/relators/edt)
格式: 电子 电子书
语言:English
出版: Cham : Springer International Publishing : Imprint: Springer, 2015.
版:1st ed. 2015.
主题:
在线阅读:https://doi.org/10.1007/978-3-319-10623-6
标签: 添加标签
没有标签, 成为第一个标记此记录!