A Wear Leveling Aware Memory Allocator for Both Stack and Heap Management in PCM-based Main Memory Systems. - Wei Li 241; Ziqi Shuai; Chun Jason Xue; Mengting Yuan 001; Qingan Li (DATE, 2019)

Synthesizing Smart Solving Strategy for Symbolic Execution. - Zehua Chen; Zhenbang Chen; Ziqi Shuai; Yufeng Zhang 001; Weiyu Pan (ASE, 2020)

Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. - Yufeng Zhang 001; Zhenbang Chen; Ziqi Shuai; Tianqi Zhang; Kenli Li 001; Ji Wang 001 (ASE, 2020)

Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. - Tianqi Zhang; Yufeng Zhang 001; Zhenbang Chen; Ziqi Shuai; Ji Wang 001 (ASE, 2020)

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)

Type and interval aware array constraint solving for symbolic execution. - Ziqi Shuai; Zhenbang Chen; Yufeng Zhang 001; Jun Sun 001; Ji Wang 001 (ISSTA, 2021)

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

Optimal Conjunctive Normal Form Encoding for Symbolic Execution. - Weiyu Pan; Ziqi Shuai; Ke Ma; Luyao Liu (SEKE, 2021)

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

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)

Symbolic Execution of MPI Programs with One-Sided Communications. - Nenghui Hu; Zheng Bian; Ziqi Shuai; Zhenbang Chen; Yufeng Zhang 001 (APSEC, 2023)

Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. - Ziqi Shuai; Zhenbang Chen; Yufeng Zhang 001; Hengbiao Yu; Ji Wang 001 (APSEC, 2023)

GWalloc: A self-adaptive generational wear-aware allocator for non-volatile main memory. - Ziwei Wang; Wei Li 241; Ziqi Shuai; Qingan Li (Microprocess. Microsystems, 2023)

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)

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)