Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama. Synthesizing framework models for symbolic execution. In Laura K. Dillon, Willem Visser, Laurie Williams, editors, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016. pages 156-167, ACM, 2016. [doi]
@inproceedings{JeonQFFS16,
title = {Synthesizing framework models for symbolic execution},
author = {Jinseong Jeon and Xiaokang Qiu and Jonathan Fetter-Degges and Jeffrey S. Foster and Armando Solar-Lezama},
year = {2016},
doi = {10.1145/2884781.2884856},
url = {http://doi.acm.org/10.1145/2884781.2884856},
researchr = {https://researchr.org/publication/JeonQFFS16},
cites = {0},
citedby = {0},
pages = {156-167},
booktitle = {Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016},
editor = {Laura K. Dillon and Willem Visser and Laurie Williams},
publisher = {ACM},
isbn = {978-1-4503-3900-1},
}