Validation of Evolving Software
- نوع فایل : کتاب
- زبان : انگلیسی
- نویسندگان : Daniel Kroening, Hana Chockler, Leonardo Mariani
- چاپ و سال / کشور: 2015
- تعداد صفحه : 230
- شابک / ISBN : 3319106228
Description
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.