DART: Directed automated random testing P Godefroid, N Klarlund, K Sen Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005 | 3679 | 2005 |
Automated whitebox fuzz testing. P Godefroid, MY Levin, DA Molnar NDSS 8, 151-166, 2008 | 1778 | 2008 |
Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem P Godefroid Springer Berlin Heidelberg, 1996 | 1567 | 1996 |
Model checking for programming languages using VeriSoft P Godefroid Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 1098 | 1997 |
Dynamic partial-order reduction for model checking software C Flanagan, P Godefroid ACM Sigplan Notices 40 (1), 110-121, 2005 | 933 | 2005 |
SAGE: whitebox fuzzing for security testing P Godefroid, MY Levin, D Molnar Communications of the ACM 55 (3), 40-44, 2012 | 876 | 2012 |
Grammar-based whitebox fuzzing P Godefroid, A Kiezun, MY Levin Proceedings of the 29th ACM SIGPLAN conference on programming language …, 2008 | 755 | 2008 |
Compositional dynamic test generation P Godefroid Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007 | 703 | 2007 |
Using partial orders to improve automatic verification methods P Godefroid Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 554 | 1991 |
Using partial orders for the efficient verification of deadlock freedom and safety properties P Godefroid, P Wolper Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992 | 552 | 1992 |
Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Păsăreanu, K Sen, N Tillmann, ... Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 520 | 2011 |
Learn&fuzz: Machine learning for input fuzzing P Godefroid, H Peleg, R Singh 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 483 | 2017 |
A partial approach to model checking P Godefroid, P Wolper Information and Computation 110 (2), 305-326, 1994 | 441 | 1994 |
Demand-driven compositional symbolic execution S Anand, P Godefroid, N Tillmann Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 363 | 2008 |
Model checking partial state spaces with 3-valued temporal logics G Bruns, P Godefroid Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999 | 338 | 1999 |
Active property checking P Godefroid, MY Levin, D Molnar US Patent 8,549,486, 2013 | 284 | 2013 |
Compositional may-must program analysis: unleashing the power of alternation P Godefroid, AV Nori, SK Rajamani, SD Tetali Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2010 | 279 | 2010 |
VeriWeb: Automatically testing dynamic web sites M Benedikt, J Freire, P Godefroid World Wide Web Conference, 2002 | 262 | 2002 |
Symbolic verification of communication protocols with infinite state spaces using QDDs B Boigelot, P Godefroid Formal Methods in System Design 14, 237-255, 1999 | 259 | 1999 |
Billions and billions of constraints: Whitebox fuzz testing in production E Bounimova, P Godefroid, D Molnar 2013 35th International Conference on Software Engineering (ICSE), 122-131, 2013 | 253 | 2013 |