SAGE: Automated Whitebox Fuzzing using SMT solvers
put your abstract here
Patrice Godefroid
&
David Molnar
Microsoft Research, Redmond, USA
put your bio here