Optimal Refinement-based Array Constraint Solving for Symbolic Execution. - Meixi Liu; Ziqi Shuai; Luyao Liu; Kelin Ma; Ke Ma (APSEC, 2022)

FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). - Guofeng Zhang 005; Ziqi Shuai; Kelin Ma; Kunlin Liu; Zhenbang Chen; Ji Wang 001 (FASE, 2024)

Partial Solution Based Constraint Solving Cache in Symbolic Execution. - Ziqi Shuai; Zhenbang Chen; Kelin Ma; Kunlin Liu; Yufeng Zhang 001; Jun Sun 001; Ji Wang 001 (Proc. ACM Softw. Eng., 2024)