Sciweavers

Share
CAV
2010
Springer

Lazy Annotation for Program Testing and Verification

9 years 6 months ago
Lazy Annotation for Program Testing and Verification
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program on demand, as a result of failure to achieve goals, in a manner analogous to conflict clause learning in a DPLL style SAT solver.
Kenneth L. McMillan
Added 29 Sep 2010
Updated 29 Sep 2010
Type Conference
Year 2010
Where CAV
Authors Kenneth L. McMillan
Comments (0)
books