Chen, J. ., Wang, J. ., Song, C. ., & Yin, H. . (2022). JIGSAW: Efficient and Scalable Path Constraints Fuzzing. In 2022 IEEE Symposium on Security and Privacy (SP) (p. 18—35).