| DART: Directed automated random testing P Godefroid, N Klarlund, K Sen Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005 | 3219 | 2005 |
| Automated whitebox fuzz testing. P Godefroid, MY Levin, DA Molnar NDSS 8, 151-166, 2008 | 1541 | 2008 |
| Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem P Godefroid Springer Berlin Heidelberg, 1996 | 1477 | 1996 |
| Model checking for programming languages using VeriSoft P Godefroid Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 1017 | 1997 |
| Dynamic partial-order reduction for model checking software C Flanagan, P Godefroid ACM Sigplan Notices 40 (1), 110-121, 2005 | 833 | 2005 |
| SAGE: whitebox fuzzing for security testing P Godefroid, MY Levin, D Molnar Communications of the ACM 55 (3), 40-44, 2012 | 676 | 2012 |
| Compositional dynamic test generation P Godefroid Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007 | 653 | 2007 |
| Grammar-based whitebox fuzzing P Godefroid, A Kiezun, MY Levin Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 590 | 2008 |
| Using partial orders for the efficient verification of deadlock freedom and safety properties P Godefroid, P Wolper International Conference on Computer Aided Verification, 332-342, 1991 | 525 | 1991 |
| Using partial orders to improve automatic verification methods P Godefroid International Conference on Computer Aided Verification, 176-185, 1990 | 521 | 1990 |
| Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Pasareanu, K Sen, N Tillmann, ... 2011 33rd International Conference on Software Engineering (ICSE), 1066-1071, 2011 | 439 | 2011 |
| A partial approach to model checking P Godefroid, P Wolper Information and Computation 110 (2), 305-326, 1994 | 418 | 1994 |
| Demand-driven compositional symbolic execution S Anand, P Godefroid, N Tillmann International Conference on Tools and Algorithms for the Construction and …, 2008 | 325 | 2008 |
| Model checking partial state spaces with 3-valued temporal logics G Bruns, P Godefroid International conference on computer aided verification, 274-287, 1999 | 309 | 1999 |
| Learn&fuzz: Machine learning for input fuzzing P Godefroid, H Peleg, R Singh 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 289 | 2017 |
| Active property checking P Godefroid, MY Levin, D Molnar US Patent 8,549,486, 2013 | 258 | 2013 |
| Symbolic verification of communication protocols with infinite state spaces using QDDs B Boigelot, P Godefroid Formal Methods in System Design 14 (3), 237-255, 1999 | 250 | 1999 |
| 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 | 248 | 2010 |
| VeriWeb: Automatically testing dynamic web sites M Benedikt, J Freire, P Godefroid In Proceedings of 11th International World Wide Web Conference (WW W’2002, 2002 | 248 | 2002 |
| Presence awareness in collaborative systems PI Godefroid, JD Herbsleb, LJ Jagadeesan, D Li US Patent 6,697,840, 2004 | 231 | 2004 |
