Active property checking. - Patrice Godefroid; Michael Y. Levin; David A. Molnar (EMSOFT, 2008)

Automated Whitebox Fuzz Testing. - Patrice Godefroid; Michael Y. Levin; David A. Molnar (NDSS, 2008)

SAGE: Whitebox Fuzzing for Security Testing. - Patrice Godefroid; Michael Y. Levin; David A. Molnar (ACM Queue, 2012)

Billions and billions of constraints: whitebox fuzz testing in production. - Ella Bounimova; Patrice Godefroid; David A. Molnar (ICSE, 2013)