David A. Molnar

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Information Assurance

Security Measures

Penetration Testing

Top Venues

Publications

Ella Bounimova, Patrice Godefroid, David A. Molnar
Billions and billions of constraints: whitebox fuzz testing in production. ICSE (2013)
Patrice Godefroid, Michael Y. Levin, David A. Molnar
SAGE: whitebox fuzzing for security testing. Commun. ACM 55 (3) (2012)
Patrice Godefroid, Michael Y. Levin, David A. Molnar
SAGE: Whitebox Fuzzing for Security Testing. ACM Queue 10 (1) (2012)
Patrice Godefroid, Michael Y. Levin, David A. Molnar
Active property checking. EMSOFT (2008)
Patrice Godefroid, Michael Y. Levin, David A. Molnar
Automated Whitebox Fuzz Testing. NDSS (2008)