Author Info
Name
Affiliation
Papers
PEISEN YAO
Hong Kong Univ Sci & Technol, Hong Kong, Peoples R China
7
Collaborators
Citations 
PageRank 
8
3
2.40
Referers 
Referees 
References 
12
0
0
Title
Citations
PageRank
Year
Complexity-guided container replacement synthesis00.342022
Precise Divide-By-Zero Detection with Affirmative Evidence00.342022
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration00.342021
Skeletal approximation enumeration for SMT solver testing00.342021
Program analysis via efficient symbolic abstraction00.342021
Path-sensitive sparse analysis without path conditions20.362021
Pangolin: Incremental Hybrid Fuzzing With Polyhedral Path Abstraction10.352020