Penghui Li 0001, Wei Meng 0001, Kangjie Lu. SEDiff: scope-aware differential fuzzing to test internal function models in symbolic execution. In Abhik Roychoudhury, Cristian Cadar, Miryung Kim, editors, Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022. pages 57-69, ACM, 2022. [doi]
Abstract is missing.