Huang, H. ., Guo, Y. ., Shi, Q. ., Yao, P. ., Wu, R. ., & Zhang, C. . (2022). BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. In (pp. 36–50). San Francisco, CA, USA: IEEE. http://doi.org/10.1109/SP46214.2022.9833751 (Original work published 2024)