Our paper is appearing on PLDI 2025

2025 Apr 5

The paper will discuss the mathematical formalization of our concept, detailed fuzzing techniques, and our experimental results.