SAGE: Automated Whitebox Fuzzing using SMT solvers

put your abstract here

Patrice Godefroid & David Molnar Microsoft Research, Redmond, USA

put your bio here