A Theoretical Study of the Synergy and Lazy Annotation Algorithms
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 assertion violations, and to learn “blocking” conditions whenever a path is...
Main Author: | |
---|---|
Other Authors: | |
Language: | en_US |
Published: |
2018
|
Subjects: | |
Online Access: | http://etd.iisc.ernet.in/2005/3321 http://etd.iisc.ernet.in/abstracts/4185/G25692-Abs.pdf |