Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy. Deferred concretization in symbolic execution via fuzzing. In Dongmei Zhang, Anders Møller, editors, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. pages 228-238, ACM, 2019. [doi]
@inproceedings{PandeyKR19,
title = {Deferred concretization in symbolic execution via fuzzing},
author = {Awanish Pandey and Phani Raj Goutham Kotcharlakota and Subhajit Roy},
year = {2019},
doi = {10.1145/3293882.3330554},
url = {https://doi.org/10.1145/3293882.3330554},
researchr = {https://researchr.org/publication/PandeyKR19},
cites = {0},
citedby = {0},
pages = {228-238},
booktitle = {Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019},
editor = {Dongmei Zhang and Anders Møller},
publisher = {ACM},
isbn = {978-1-4503-6224-5},
}