Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid. Directed incremental symbolic execution. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 504-515, ACM, 2011. [doi]
@inproceedings{PersonYRK11,
title = {Directed incremental symbolic execution},
author = {Suzette Person and Guowei Yang and Neha Rungta and Sarfraz Khurshid},
year = {2011},
doi = {10.1145/1993498.1993558},
url = {http://doi.acm.org/10.1145/1993498.1993558},
tags = {incremental execution, incremental},
researchr = {https://researchr.org/publication/PersonYRK11},
cites = {0},
citedby = {0},
pages = {504-515},
booktitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011},
editor = {Mary W. Hall and David A. Padua},
publisher = {ACM},
isbn = {978-1-4503-0663-8},
}