Titlebook: Validation of Evolving Software; Hana Chockler,Daniel Kroening,Natasha Sharygina Book 2015 Springer International Publishing Switzerland 2

开玩笑

Regression Checking of Changes in C Softwaresuite due to the use of model checking. We extend the use of test case executions from conventional direct fault discovery to generation of behavioral properties specific to the new version by (i) automatically producing properties that are proved to hold for the base version of a program, (ii) auto

languor

Lightweight Static Analysis Check of Upgrades in C/C++ Softwaree-verification of the whole program. Unsurprisingly, the speedup is especially significant when the change involves a small fraction of paths in the control flow graph—a situation typical of a small upgrade.

Exclude

贫穷地活

轿车