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).