Sign in
Ziqi Shuai
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 12
Top Topics
Symbolic Execution
Test Generation
Conjunctive Normal Form
Constraint Solving
Top Venues
APSEC
ASE
ISSTA
QRS Companion
</>
Publications
</>
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)