TEPHRA: Principled Discovery of Fuzzer Limitations

This page collects all (supplemental) material for the publication:

TEPHRA: Principled Discovery of Fuzzer Limitations
Vasil Sarafov, David Markvica, Stefan Brunthaler.
In ASE ‘25: 40th IEEE/ACM International Conference on Automated Software Engineering, Seoul, South Korea, November 16 - 20, 2025.
ACM SIGSOFT Distinguished Paper Award

Paper	download (pdf, 677K)
ASE’25 slides	download (pdf, 1.8M)
ASE’25 poster	download (pdf, 2.1M)
Evaluation study dataset & results	download (zip, 51M)
Obstacle synthesizer (git repo)	Open-source release in progress. (ETA Christmas 2025)
Benchmark runner (git repo)	Open-source release in progress. (ETA Christmas 2025)
Point of contact	vasil.sarafov@unibw.de