Exploiting program dependencies for scalable multiple-path symbolic execution


This paper presents a new technique, called <i>Symbolic Program Decomposition</i> (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which symbolically execute control-flow paths individually. SPD exploits control and data dependencies to avoid analyzing unnecessary combinations of subpaths. SPD can also… (More)
DOI: 10.1145/1831708.1831733


9 Figures and Tables


Citations per Year

61 Citations

Semantic Scholar estimates that this publication has 61 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Santelices2010ExploitingPD, title={Exploiting program dependencies for scalable multiple-path symbolic execution}, author={Ra{\'u}l A. Santelices and Mary Jean Harrold}, booktitle={ISSTA}, year={2010} }