Browsing Computer Science and Automation (CSA) by Subject "Lazy Annotation Algorithms"
Now showing items 1-1 of 1
-
A Theoretical Study of the Synergy and Lazy Annotation Algorithms
(2018-04-03)Given a program with assertions, the assertion checking problem is to tell whether there is an execution of the program that violates one of the assertions. One approach to this problem is to explore different paths towards ...