Ziqi Shuai

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