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