Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu 0003, Shengjian Guo, Haoyu Wang, Guangtai Liang, Ding Li, Xiangqun Chen, Yao Guo 0001. Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. In René Just, Gordon Fraser 0001, editors, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. pages 385-397, ACM, 2023. [doi]
@inproceedings{HeZW0GWLLC023,
title = {Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries},
author = {Ningyu He and Zhehao Zhao and Jikai Wang and Yubin Hu 0003 and Shengjian Guo and Haoyu Wang and Guangtai Liang and Ding Li and Xiangqun Chen and Yao Guo 0001},
year = {2023},
doi = {10.1145/3597926.3598064},
url = {https://doi.org/10.1145/3597926.3598064},
researchr = {https://researchr.org/publication/HeZW0GWLLC023},
cites = {0},
citedby = {0},
pages = {385-397},
booktitle = {Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023},
editor = {René Just and Gordon Fraser 0001},
publisher = {ACM},
}