Sicheng Luo, Hui Xu, Yanxiang Bi, Xin Wang, Yangfan Zhou. Boosting symbolic execution via constraint solving time prediction (experience paper). In Cristian Cadar, Xiangyu Zhang 0001, editors, ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. pages 336-347, ACM, 2021. [doi]
@inproceedings{LuoXBWZ21,
title = {Boosting symbolic execution via constraint solving time prediction (experience paper)},
author = {Sicheng Luo and Hui Xu and Yanxiang Bi and Xin Wang and Yangfan Zhou},
year = {2021},
doi = {10.1145/3460319.3464813},
url = {https://doi.org/10.1145/3460319.3464813},
researchr = {https://researchr.org/publication/LuoXBWZ21},
cites = {0},
citedby = {0},
pages = {336-347},
booktitle = {ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021},
editor = {Cristian Cadar and Xiangyu Zhang 0001},
publisher = {ACM},
isbn = {978-1-4503-8459-9},
}