Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang. BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. In 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022. pages 36-50, IEEE, 2022. [doi]
Abstract is missing.