Validation of Evolving Software

Validation of Evolving Software

4.11 - 1251 ratings - Source

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.Unfortunately, interrupts are usually set up by executing architecture-specific instructions, which makes capturing the ... We identify three cases that need to be discussed: LabView programs, C/C++ programs and access to data traced in a loganbsp;...

Title:Validation of Evolving Software
Author:Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Publisher:Springer - 2015-07-01


You Must CONTINUE and create a free account to access unlimited downloads & streaming