DART: Directed automated random testing P Godefroid, N Klarlund, K Sen Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005 | 3578 | 2005 |
Automated whitebox fuzz testing. P Godefroid, MY Levin, DA Molnar NDSS 8, 151-166, 2008 | 1722 | 2008 |
Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem P Godefroid Springer Berlin Heidelberg, 1996 | 1547 | 1996 |
Model checking for programming languages using VeriSoft P Godefroid Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 1085 | 1997 |
Dynamic partial-order reduction for model checking software C Flanagan, P Godefroid ACM Sigplan Notices 40 (1), 110-121, 2005 | 909 | 2005 |
SAGE: whitebox fuzzing for security testing P Godefroid, MY Levin, D Molnar Communications of the ACM 55 (3), 40-44, 2012 | 831 | 2012 |
Grammar-based whitebox fuzzing P Godefroid, A Kiezun, MY Levin Proceedings of the 29th ACM SIGPLAN conference on programming language …, 2008 | 721 | 2008 |
Compositional dynamic test generation P Godefroid Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007 | 693 | 2007 |
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 | 549 | 1992 |
Using partial orders to improve automatic verification methods P Godefroid Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 548 | 1991 |
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 | 502 | 2011 |
Learn&fuzz: Machine learning for input fuzzing P Godefroid, H Peleg, R Singh 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 440 | 2017 |
A partial approach to model checking P Godefroid, P Wolper Information and Computation 110 (2), 305-326, 1994 | 435 | 1994 |
Demand-driven compositional symbolic execution S Anand, P Godefroid, N Tillmann Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 352 | 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 | 326 | 1999 |
Active property checking P Godefroid, MY Levin, D Molnar US Patent 8,549,486, 2013 | 279 | 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 | 267 | 2010 |
VeriWeb: Automatically testing dynamic web sites M Benedikt, J Freire, P Godefroid World Wide Web Conference, 2002 | 258 | 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 | 256 | 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 | 250 | 2013 |
Analysis of recursive state machines R Alur, M Benedikt, K Etessami, P Godefroid, T Reps, M Yannakakis ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (4), 786-818, 2005 | 245 | 2005 |
Refining dependencies improves partial-order verification methods P Godefroid, D Pirottin Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993 | 236 | 1993 |
Presence awareness in collaborative systems PI Godefroid, JD Herbsleb, LJ Jagadeesan, D Li US Patent 6,697,840, 2004 | 233 | 2004 |
Checking beliefs in dynamic networks NP Lopes, N Bjørner, P Godefroid, K Jayaraman, G Varghese 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2015 | 229 | 2015 |
Software model checking: The VeriSoft approach P Godefroid Formal Methods in System Design 26, 77-101, 2005 | 227 | 2005 |
Partial-order methods for temporal verification P Wolper, P Godefroid International Conference on Concurrency Theory, 233-246, 1993 | 218 | 1993 |
Abstraction-based model checking using modal transition systems P Godefroid, M Huth, R Jagadeesan International conference on concurrency theory, 426-440, 2001 | 217 | 2001 |
State-space caching revisited P Godefroid, GJ Holzmann, D Pirottin Formal Methods in System Design 7, 227-241, 1995 | 211 | 1995 |
Generalized model checking: Reasoning about partial state spaces G Bruns, P Godefroid CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000 | 191 | 2000 |
SAGE: Whitebox Fuzzing for Security Testing: SAGE has had a remarkable impact at Microsoft. P Godefroid, MY Levin, D Molnar Queue 10 (1), 20-27, 2012 | 181 | 2012 |
Restler: Stateful rest api fuzzing V Atlidakis, P Godefroid, M Polishchuk 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 175 | 2019 |
Automatic exploration and testing of dynamic Web sites MA Benedikt, JF Silva, PI Godefroid, A Vyas US Patent 7,716,322, 2010 | 169 | 2010 |
Automatic partial loop summarization in dynamic test generation P Godefroid, D Luchaup Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 168 | 2011 |
Exploring very large state spaces using genetic algorithms P Godefroid, S Khurshid International Conference on Tools and Algorithms for the Construction and …, 2002 | 168 | 2002 |
The power of QDDs B Boigelot, P Godefroid, B Willems, P Wolper Static Analysis: 4th International Symposium, SAS'97 Paris, France …, 1997 | 164 | 1997 |
Coverage preserving reduction strategies for reachability analysis GJ Holzmann, P Godefroid, D Pirottin Protocol Specification, Testing and Verification, XII, 349-363, 1992 | 155 | 1992 |
Automating software testing using program analysis P Godefroid, P de Halleux, AV Nori, SK Rajamani, W Schulte, N Tillmann, ... IEEE software 25 (5), 30-37, 2008 | 153 | 2008 |
Random testing for security: blackbox vs. whitebox fuzzing P Godefroid Proceedings of the 2nd international workshop on Random testing: co-located …, 2007 | 142 | 2007 |
Root causing flaky tests in a large-scale industrial setting W Lam, P Godefroid, S Nath, A Santhiar, S Thummalapenta Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 141 | 2019 |
Concurrency at Microsoft: An exploratory survey P Godefroid, N Nagappan CAV workshop on exploiting concurrency efficiently and correctly, 2008 | 141 | 2008 |