Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang. Fuzzing SMT solvers via two-dimensional input space exploration. 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 322-335, ACM, 2021. [doi]
@inproceedings{YaoHTSWZ21,
title = {Fuzzing SMT solvers via two-dimensional input space exploration},
author = {Peisen Yao and Heqing Huang and Wensheng Tang and Qingkai Shi and Rongxin Wu and Charles Zhang},
year = {2021},
doi = {10.1145/3460319.3464803},
url = {https://doi.org/10.1145/3460319.3464803},
researchr = {https://researchr.org/publication/YaoHTSWZ21},
cites = {0},
citedby = {0},
pages = {322-335},
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},
}