Author Info
Name
Affiliation
Papers
WEIYU PAN
National University of Defense Technology, Changsha, China
4
Collaborators
Citations 
PageRank 
12
0
1.35
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
Grammar-agnostic symbolic execution by token symbolization00.342021
Synthesize solving strategy for symbolic execution00.342021
Styx: a data-oriented mutation framework to improve the robustness of DNN00.342020
Synthesizing smart solving strategy for symbolic execution00.342020