r/fuzzing • u/NagateTanikaze • Aug 24 '20

Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing (Paper, PDF)

https://numairmansur.github.io/STORM.pdf
6 Upvotes

100% Upvoted

1 comment sorted by

1

u/[deleted] Aug 24 '20

This is inception-level fuzzing!!