| 2022 | ICSE | What are Weak Links in the npm Supply Chain? | Nusrat Zahan, Thomas Zimmermann, Patrice Godefroid, Brendan Murphy, Chandra Shekhar Maddila, Laurie A. Williams |
| 2021 | CCS | HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs. | Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui |
| 2021 | ICSE | Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub. | Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schaefer |
| 2020 | ICST | Checking Security Properties of Cloud Service REST APIs. | Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk |
| 2020 | ISSTA | Differential regression testing for REST APIs. | Patrice Godefroid, Daniel Lehmann, Marina Polishchuk |
| 2019 | ICSE | RESTler: stateful REST API fuzzing. | Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk |
| 2019 | ISSTA | Root causing flaky tests in a large-scale industrial setting. | Wing Lam, Patrice Godefroid, Suman Nath, Anirudh Santhiar, Suresh Thummalapenta |
| 2018 | SP | Deep Reinforcement Fuzzing. | Konstantin Bttinger, Patrice Godefroid, Rishabh Singh |
| 2017 | ICSE | A general framework for dynamic stub injection. | Maria Christakis, Patrick Emmisberger, Patrice Godefroid, Peter Mller |
| 2015 | NSDI | Checking Beliefs in Dynamic Networks. | Nuno P. Lopes, Nikolaj S. Bjrner, Patrice Godefroid, Karthick Jayaraman, George Varghese |
| 2015 | VMCAI | Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. | Maria Christakis, Patrice Godefroid |
| 2014 | ICSE | Micro execution. | Patrice Godefroid |
| 2013 | ICSE | Billions and billions of constraints: whitebox fuzz testing in production. | Ella Bounimova, Patrice Godefroid, David A. Molnar |
| 2013 | TACAS | Analysis of Boolean Programs. | Patrice Godefroid, Mihalis Yannakakis |
| 2012 | PLDI | Automated synthesis of symbolic instruction encodings from I/O samples. | Patrice Godefroid, Ankur Taly |
| 2011 | ICSE | Symbolic execution for software testing in practice: preliminary assessment. | Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser |
| 2011 | ISSTA | Automatic partial loop summarization in dynamic test generation. | Patrice Godefroid, Daniel Luchaup |
| 2011 | PLDI | Higher-order test generation. | Patrice Godefroid |
| 2011 | SAS | Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. | Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-Gonzlez |
| 2011 | TAP | Tests from Proofs. | Patrice Godefroid |
| 2010 | ISSTA | Proving memory safety of floating-point computations by combining static and dynamic program analysis. | Patrice Godefroid, Johannes Kinder |
| 2010 | POPL | Compositional may-must program analysis: unleashing the power of alternation. | Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali |
| 2009 | ISSTA | Precise pointer reasoning for dynamic test generation. | Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin |
| 2009 | VMCAI | An Abort-Aware Model of Transactional Programming. | Kousha Etessami, Patrice Godefroid |
| 2009 | VMCAI | LTL Generalized Model Checking Revisited. | Patrice Godefroid, Nir Piterman |
| 2008 | EMSOFT | Active property checking. | Patrice Godefroid, Michael Y. Levin, David A. Molnar |
| 2008 | ISSTA | Testing for buffer overflows with length abstraction. | Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar |
| 2008 | NDSS | Automated Whitebox Fuzz Testing. | Patrice Godefroid, Michael Y. Levin, David A. Molnar |
| 2008 | PLDI | Grammar-based whitebox fuzzing. | Patrice Godefroid, Adam Kiezun, Michael Y. Levin |
| 2008 | TACAS | Demand-Driven Compositional Symbolic Execution. | Saswat Anand, Patrice Godefroid, Nikolai Tillmann |
| 2007 | POPL | Compositional dynamic test generation. | Patrice Godefroid |
| 2006 | EMSOFT | Software partitioning for effective automated unit testing. | Arindam Chakrabarti, Patrice Godefroid |
| 2005 | IFM | Software Model Checking: Searching for Computations in the Abstract or the Concrete. | Patrice Godefroid, Nils Klarlund |
| 2005 | LICS | Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. | Patrice Godefroid, Michael Huth |
| 2005 | PLDI | DART: directed automated random testing. | Patrice Godefroid, Nils Klarlund, Koushik Sen |
| 2005 | POPL | Dynamic partial-order reduction for model checking software. | Cormac Flanagan, Patrice Godefroid |
| 2005 | TIME | Generalized Model Checking. | Patrice Godefroid |
| 2004 | ICALP | Model Checking with Multi-valued Logics. | Glenn Bruns, Patrice Godefroid |
| 2004 | LICS | Three-Valued Abstractions of Games: Uncertainty, but with Precision. | Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan |
| 2003 | EMSOFT | Reasoning about Abstract Open Systems with Generalized Module Checking. | Patrice Godefroid |
| 2003 | VMCAI | On the Expressiveness of 3-Valued Models. | Patrice Godefroid, Radha Jagadeesan |
| 2002 | CAV | Automatic Abstraction Using Generalized Model Checking. | Patrice Godefroid, Radha Jagadeesan |
| 2002 | ICSE | Software model checking in practice: an industrial case study. | Satish Chandra, Patrice Godefroid, Christopher Palm |
| 2002 | TACAS | Exploring Very Large State Spaces Using Genetic Algorithms. | Patrice Godefroid, Sarfraz Khurshid |
| 2001 | CAV | Symmetry and Reduced Symmetry in Model Checking. | A. Prasad Sistla, Patrice Godefroid |
| 2001 | CONCUR | Abstraction-Based Model Checking Using Modal Transition Systems. | Patrice Godefroid, Michael Huth, Radha Jagadeesan |
| 2001 | ICALP | Model Checking of Unrestricted Hierarchical State Machines. | Michael Benedikt, Patrice Godefroid, Thomas W. Reps |
| 2001 | LICS | Temporal Logic Query Checking. | Glenn Bruns, Patrice Godefroid |
| 2000 | CONCUR | Generalized Model Checking: Reasoning about Partial State Spaces. | Glenn Bruns, Patrice Godefroid |
| 2000 | CSCW | Ensuring privacy in presence awareness: an automated verification approach. | Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li |
| 1999 | CAV | Model Checking Partial State Spaces with 3-Valued Temporal Logics. | Glenn Bruns, Patrice Godefroid |
| 1999 | FORTE | Exploiting Symmetry when Model-Checking Software. | Patrice Godefroid |
| 1998 | ISSTA | Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. | Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan |
| 1998 | PLDI | Automatically Closing Open Reactive Programs. | Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan |
| 1997 | CAV | VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software. | Patrice Godefroid |
| 1997 | POPL | Model Checking for Programming Languages using Verisoft. | Patrice Godefroid |
| 1997 | SAS | The Power of QDDs (Extended Abstract). | Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper |
| 1997 | TACAS | Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. | Bernard Boigelot, Patrice Godefroid |
| 1996 | CAV | Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract). | Bernard Boigelot, Patrice Godefroid |
| 1996 | FM | Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN. | Bernard Boigelot, Patrice Godefroid |
| 1996 | ISSTA | Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. | Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas |
| 1996 | LICS | Symbolic Protocol Verification With Queue BDDs. | Patrice Godefroid, David E. Long |
| 1993 | CAV | Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract). | Patrice Godefroid, Didier Pirottin |
| 1993 | CONCUR | Partial-Order Methods for Temporal Verification. | Pierre Wolper, Patrice Godefroid |
| 1992 | CAV | State-Space Caching Revisited. | Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin |
| 1991 | AAAI | An Efficient Reactive Planner for Synthesizing Reactive Plans. | Patrice Godefroid, Froduald Kabanza |
| 1991 | CAV | Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. | Patrice Godefroid, Pierre Wolper |
| 1991 | LICS | A Partial Approach to Model Checking | Patrice Godefroid, Pierre Wolper |
| 1990 | CAV | Using Partial Orders to Improve Automatic Verification Methods. | Patrice Godefroid |