David A. Molnar

Billions and billions of constraints: Whitebox fuzz testing in production

Patrice Godefroid, Ella Bounimova, David A. Molnar, 2013, 2013 35th International Conference on Software Engineering (ICSE).

Automated Whitebox Fuzz Testing

Patrice Godefroid, Michael Y. Levin, David A. Molnar, 2008, NDSS.

SAGE: Whitebox Fuzzing for Security Testing

Patrice Godefroid, Michael Y. Levin, David A. Molnar, 2012, ACM Queue.

Active property checking

Patrice Godefroid, Michael Y. Levin, David A. Molnar, 2008, EMSOFT '08.