FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution).
Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang
Browse the full FASE paper archive.
Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang
Browse the full FASE paper archive.