Guannan Wei 0001, Shangyin Tan, Oliver Bracevac, Tiark Rompf. LLSC: a parallel symbolic execution compiler for LLVM IR. In Diomidis Spinellis, Georgios Gousios, Marsha Chechik, Massimiliano Di Penta, editors, ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021. pages 1495-1499, ACM, 2021. [doi]
@inproceedings{0001TBR21,
title = {LLSC: a parallel symbolic execution compiler for LLVM IR},
author = {Guannan Wei 0001 and Shangyin Tan and Oliver Bracevac and Tiark Rompf},
year = {2021},
doi = {10.1145/3468264.3473108},
url = {https://doi.org/10.1145/3468264.3473108},
researchr = {https://researchr.org/publication/0001TBR21},
cites = {0},
citedby = {0},
pages = {1495-1499},
booktitle = {ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021},
editor = {Diomidis Spinellis and Georgios Gousios and Marsha Chechik and Massimiliano Di Penta},
publisher = {ACM},
isbn = {978-1-4503-8562-6},
}