Hanqin Guan

According to our database, Hanqin Guan authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

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

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024