kirancodes.me
To Proof Maintenance & Beyond!
ICSE 2011

Program analysis: from qualitative analysis to quantitative analysis

Sheng Liu, Jian Zhang

PDFDOI 10.1145/1985793.1985957dblp

Abstract

We propose to combine symbolic execution with volume computation to compute the exact execution frequency of program paths and branches. Given a path, we use symbolic execution to obtain the path condition which is a set of constraints; then we use volume computation to obtain the size of the solution space for the constraints. With such a methodology and supporting tools, we can decide which paths in a program are executed more often than the others. We can also generate certain test cases that are related to the execution frequency, e.g., those covering cold paths.

BibTeX
@inproceedings{Liu-Zhang:ICSE11,
  author    = {Sheng Liu and
               Jian Zhang},
  title     = {Program analysis: from qualitative analysis to quantitative analysis},
  booktitle = {ICSE},
  pages     = {956--959},
  publisher = {{ACM}},
  year      = {2011},
}

Related papers