Ziqi Shuai

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 17

Top Topics

Test Generation

Constraint Solving

Symbolic Execution

Top Venues

Publications

Zhenbang Chen, Guofeng Zhang, Zehua Chen, Ziqi Shuai, Weiyu Pan, Yufeng Zhang, Ji Wang
Adaptive solving strategy synthesis for symbolic execution. J. Softw. Evol. Process. 36 (4) (2024)
Ziqi Shuai, Zhenbang Chen, Kelin Ma, Kunlin Liu, Yufeng Zhang, Jun Sun, Ji Wang
Partial Solution Based Constraint Solving Cache in Symbolic Execution. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). FASE (2024)
Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang
Symbolic Execution of MPI Programs with One-Sided Communications. APSEC (2023)
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. APSEC (2023)
Ziwei Wang, Wei Li, Ziqi Shuai, Qingan Li
GWalloc: A self-adaptive generational wear-aware allocator for non-volatile main memory. Microprocess. Microsystems 103 (2023)
Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. APSEC (2022)
Guofeng Zhang, Zhenbang Chen, Ziqi Shuai
Symbolic Execution of Floating-point Programs: How far are we? APSEC (2022)
Meixi Liu, Ziqi Shuai, Luyao Liu, Kelin Ma, Ke Ma
Optimal Refinement-based Array Constraint Solving for Symbolic Execution. APSEC (2022)
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang
Type and interval aware array constraint solving for symbolic execution. ISSTA (2021)
Weiyu Pan, Ziqi Shuai, Ke Ma, Luyao Liu
Optimal Conjunctive Normal Form Encoding for Symbolic Execution. SEKE (2021)
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang
Synthesize solving strategy for symbolic execution. ISSTA (2021)
Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai
Selective Symbolization Based Efficient Symbolic Execution. QRS Companion (2021)
Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan
Synthesizing Smart Solving Strategy for Symbolic Execution. ASE (2020)
Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. ASE (2020)
Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. ASE (2020)
Wei Li, Ziqi Shuai, Chun Jason Xue, Mengting Yuan, Qingan Li
A Wear Leveling Aware Memory Allocator for Both Stack and Heap Management in PCM-based Main Memory Systems. DATE (2019)