Publications

Publication

2022

S&P’22

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang.
The 43rd IEEE Symposium on Security and Privacy.

2021

FSE’21

Skeletal Approximation Enumeration for SMT Solver Testing
Peisen Yao, Heqing Huang^*, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang(^*Corresponding author).
The 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

OOPSLA’21

Program Analysis via Efficient Symbolic Abstraction
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang.
The 36th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications

ISSTA’21

Fuzzing SMT Solvers via Two-Dimentional Input Space Exploration
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang.
The 30th ACM SIGSOFT International Symposium on Software Testing and Analysis.

2020

S&P’20

Pangolin: Incremental Hybrid Fuzzing via Polyhedral Path Abstraction
Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang.
The 41st IEEE Symposium on Security and Privacy.

ISSTA’20

Fast Bit-Vector Satisfiability
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang.
The 29th ACM SIGSOFT International Symposium on Software Testing and Analysis.