Differential assertion checking

  title={Differential assertion checking},
  author={Shuvendu K. Lahiri and Kenneth L. McMillan and Rahul Sharma and Chris Hawblitzel},
  booktitle={ESEC/SIGSOFT FSE},
Previous version of a program can be a powerful enabler for program analysis by defining new relative specifications and making the results of current program analysis more relevant. In this paper, we describe the approach of differential assertion checking (DAC) for comparing different versions of a program with respect to a set of assertions. DAC provides a natural way to write relative specifications over two programs. We introduce a novel modular approach to DAC by reducing it to safety… CONTINUE READING
Highly Cited
This paper has 89 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 61 extracted citations

90 Citations

Citations per Year
Semantic Scholar estimates that this publication has 90 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…