Author Info
Name
Affiliation
Papers
ZIQI SHUAI
National University of Defense Technology, Changsha, China
5
Collaborators
Citations 
PageRank 
10
1
1.72
Referers 
Referees 
References 
5
80
32
Title
Citations
PageRank
Year
Synthesize solving strategy for symbolic execution00.342021
Type and interval aware array constraint solving for symbolic execution00.342021
Multiplex symbolic execution: exploring multiple paths by solving once00.342020
Synthesizing smart solving strategy for symbolic execution00.342020
Efficient multiplex symbolic execution with adaptive search strategy10.372020