Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction.

Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang

Browse the full SP paper archive.