David A. Molnar

According to our database, David A. Molnar authored at least 4 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Billions and billions of constraints: whitebox fuzz testing in production.

Ella Bounimova, Patrice Godefroid, David A. Molnar

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

SAGE: whitebox fuzzing for security testing.

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

Commun. ACM, 2012

2008

Automated Whitebox Fuzz Testing.

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

Proceedings of the Network and Distributed System Security Symposium, 2008

Active property checking.

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

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008