SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries.

Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shuo Peng, Ding Li, Haoyu Wang, Xiangqun Chen, Yao Guo

Browse the full ISSTA paper archive.