Zifu Yan, Yongjun Wang, Haoran Xu. NNSMT: Deep Neural Networks for SMT Solvers Fuzzing. In ICCAI '22: 8th International Conference on Computing and Artificial Intelligence, Tianjin, China, March 18 - 21, 2022. pages 46-53, ACM, 2022. [doi]
@inproceedings{YanWX22,
title = {NNSMT: Deep Neural Networks for SMT Solvers Fuzzing},
author = {Zifu Yan and Yongjun Wang and Haoran Xu},
year = {2022},
doi = {10.1145/3532213.3532221},
url = {https://doi.org/10.1145/3532213.3532221},
researchr = {https://researchr.org/publication/YanWX22},
cites = {0},
citedby = {0},
pages = {46-53},
booktitle = {ICCAI '22: 8th International Conference on Computing and Artificial Intelligence, Tianjin, China, March 18 - 21, 2022},
publisher = {ACM},
isbn = {978-1-4503-9611-0},
}