Peisen Yao

Latest

• BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
• Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems
• Skeletal Approximation Enumeration for SMT Solver Testing
• Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
• Path-Sensitive Sparse Analysis without Path Conditions
• Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction