Browsing Computer Science and Automation (CSA) by Author "Jayaram, Sampath"
Now showing items 1-1 of 1
-
A Theoretical Study of the Synergy and Lazy Annotation Algorithms
Jayaram, Sampath (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 ...