SAGE: Whitebox fuzzing for security testing

Patrice Godefroid, Michael Y. Levin, David Molnar
[doi] [Google Scholar] [DBLP] [Citeseer]

ACM Queue 10(1)
ACM
New York, NY, USA
Pages 20:20-20:27
January 2012
Note(s): symbolic execution

SAGE verifier