Synthesize solving strategy for symbolic execution. - Zhenbang Chen; Zehua Chen; Ziqi Shuai; Guofeng Zhang 005; Weiyu Pan; Yufeng Zhang 001; Ji Wang 001 (ISSTA, 2021)

Grammar-agnostic symbolic execution by token symbolization. - Weiyu Pan; Zhenbang Chen; Guofeng Zhang 005; Yunlai Luo; Yufeng Zhang 001; Ji Wang 001 (ISSTA, 2021)

Selective Symbolization Based Efficient Symbolic Execution. - Yang Liu; Guofeng Zhang 005; Zhenbang Chen; Ziqi Shuai (QRS Companion, 2021)

Symbolic Execution of Floating-point Programs: How far are we? - Guofeng Zhang 005; Zhenbang Chen; Ziqi Shuai (APSEC, 2022)

Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. - Guofeng Zhang 005; Zhenbang Chen; Ziqi Shuai; Yufeng Zhang 001; Ji Wang 001 (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)

Hybrid Regression Test Selection by Integrating File and Method Dependences. - Guofeng Zhang 005; Luyao Liu; Zhenbang Chen; Ji Wang 001 (ASE, 2024)

Hybrid Regression Test Selection by Synergizing File and Method Call Dependences. - Luyao Liu; Guofeng Zhang 005; Zhenbang Chen; Ji Wang 001 (SIGSOFT FSE Companion, 2024)

Adaptive solving strategy synthesis for symbolic execution. - Zhenbang Chen; Guofeng Zhang 005; Zehua Chen; Ziqi Shuai; Weiyu Pan; Yufeng Zhang 001; Ji Wang 001 (J. Softw. Evol. Process., 2024)

Symbolic execution of floating-point programs: How far are we? - Xu Yang; Guofeng Zhang 005; Ziqi Shuai; Zhenbang Chen; Ji Wang 001 (J. Syst. Softw., 2025)