Patrice Godefroid

According to our database, Patrice Godefroid authored at least 97 papers between 1990 and 2022.

Collaborative distances:

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

2022

What are Weak Links in the npm Supply Chain?

Nusrat Zahan, Thomas Zimmermann, Patrice Godefroid, Brendan Murphy, Chandra Shekhar Maddila, Laurie A. Williams

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021

Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub.

Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schaefer

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs.

Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Universal Policies for Software-Defined MDPs.

Daniel Selsam, Jesse Michael Han, Leonardo de Moura, Patrice Godefroid

CoRR, 2020

Pythia: Grammar-Based Fuzzing of REST APIs with Coverage-guided Feedback and Learning-based Mutations.

Vaggelis Atlidakis, Roxana Geambasu, Patrice Godefroid, Marina Polishchuk, Baishakhi Ray

CoRR, 2020

Fuzzing: hack, art, and science.

Patrice Godefroid

Commun. ACM, 2020

Intelligent REST API data fuzzing.

Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Differential regression testing for REST APIs.

Patrice Godefroid, Daniel Lehmann, Marina Polishchuk

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Checking Security Properties of Cloud Service REST APIs.

Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances.

George Candea, Patrice Godefroid

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Root causing flaky tests in a large-scale industrial setting.

Wing Lam, Patrice Godefroid, Suman Nath, Anirudh Santhiar, Suresh Thummalapenta

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

RESTler: stateful REST API fuzzing.

Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Combining Model Checking and Testing.

Patrice Godefroid, Koushik Sen

Proceedings of the Handbook of Model Checking., 2018

REST-ler: Automatic Intelligent REST API Fuzzing.

Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk

CoRR, 2018

Deep Reinforcement Fuzzing.

Konstantin Böttinger, Patrice Godefroid, Rishabh Singh

Proceedings of the 2018 IEEE Security and Privacy Workshops, 2018

2017

Learn&Fuzz: machine learning for input fuzzing.

Patrice Godefroid, Hila Peleg, Rishabh Singh

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A general framework for dynamic stub injection.

Maria Christakis, Patrick Emmisberger, Patrice Godefroid, Peter Müller

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Between Testing and Verification: Dynamic Software Model Checking.

Patrice Godefroid

Proceedings of the Dependable Software Systems Engineering, 2016

2015

Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing.

Maria Christakis, Patrice Godefroid

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

IC-Cut: A Compositional Search Strategy for Dynamic Test Generation.

Maria Christakis, Patrice Godefroid

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Checking Beliefs in Dynamic Networks.

Nuno P. Lopes, Nikolaj S. Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014

May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification.

Patrice Godefroid

Proceedings of the Software Systems Safety, 2014

Micro execution.

Patrice Godefroid

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Analysis of Boolean Programs.

Patrice Godefroid, Mihalis Yannakakis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Automated synthesis of symbolic instruction encodings from I/O samples.

Patrice Godefroid, Ankur Taly

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Test Generation Using Symbolic Execution.

Patrice Godefroid

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2011

LTL generalized model checking revisited.

Patrice Godefroid, Nir Piterman

Int. J. Softw. Tools Technol. Transf., 2011

An abort-aware model of transactional programming.

Kousha Etessami, Patrice Godefroid

Int. J. Softw. Tools Technol. Transf., 2011

Tests from Proofs.

Patrice Godefroid

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation.

Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González

Proceedings of the Static Analysis - 18th International Symposium, 2011

Higher-order test generation.

Patrice Godefroid

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

From Program to Logic: An Introduction.

Patrice Godefroid, Shuvendu K. Lahiri

Proceedings of the Tools for Practical Software Verification, 2011

Automatic partial loop summarization in dynamic test generation.

Patrice Godefroid, Daniel Luchaup

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Symbolic execution for software testing in practice: preliminary assessment.

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Compositional may-must program analysis: unleashing the power of alternation.

Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Proving memory safety of floating-point computations by combining static and dynamic program analysis.

Patrice Godefroid, Johannes Kinder

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

FITE - Future Integrated Testing Environment.

Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

Software Model Checking Improving Security of a Billion Computers.

Patrice Godefroid

Proceedings of the Model Checking Software, 2009

Precise pointer reasoning for dynamic test generation.

Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

2008

Automating Software Testing Using Program Analysis.

Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin

IEEE Softw., 2008

Demand-Driven Compositional Symbolic Execution.

Saswat Anand, Patrice Godefroid, Nikolai Tillmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Grammar-based whitebox fuzzing.

Patrice Godefroid, Adam Kiezun, Michael Y. Levin

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Automated Whitebox Fuzz Testing.

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

Proceedings of the Network and Distributed System Security Symposium, 2008

Testing for buffer overflows with length abstraction.

Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Active property checking.

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

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

2007

Compositional dynamic test generation.

Patrice Godefroid

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006

Software partitioning for effective automated unit testing.

Arindam Chakrabarti, Patrice Godefroid

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Analysis of recursive state machines.

Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis

ACM Trans. Program. Lang. Syst., 2005

Software Model Checking: The VeriSoft Approach.

Patrice Godefroid

Formal Methods Syst. Des., 2005

Generalized Model Checking.

Patrice Godefroid

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Dynamic partial-order reduction for model checking software.

Cormac Flanagan, Patrice Godefroid

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

DART: directed automated random testing.

Patrice Godefroid, Nils Klarlund, Koushik Sen

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics.

Patrice Godefroid, Michael Huth

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Software Model Checking: Searching for Computations in the Abstract or the Concrete.

Patrice Godefroid, Nils Klarlund

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Symmetry and reduced symmetry in model checking.

A. Prasad Sistla, Patrice Godefroid

ACM Trans. Program. Lang. Syst., 2004

Exploring very large state spaces using genetic algorithms.

Patrice Godefroid, Sarfraz Khurshid

Int. J. Softw. Tools Technol. Transf., 2004

Invited Talk: "Model checking" software with VeriSoft.

Patrice Godefroid

Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2004

Three-Valued Abstractions of Games: Uncertainty, but with Precision.

Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Model Checking with Multi-valued Logics.

Glenn Bruns, Patrice Godefroid

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003

On the Expressiveness of 3-Valued Models.

Patrice Godefroid, Radha Jagadeesan

Proceedings of the Verification, 2003

Reasoning about Abstract Open Systems with Generalized Module Checking.

Patrice Godefroid

Proceedings of the Embedded Software, Third International Conference, 2003

2002

Software model checking in practice: an industrial case study.

Satish Chandra, Patrice Godefroid, Christopher Palm

Proceedings of the 24th International Conference on Software Engineering, 2002

Automatic Abstraction Using Generalized Model Checking.

Patrice Godefroid, Radha Jagadeesan

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Temporal Logic Query Checking.

Glenn Bruns, Patrice Godefroid

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

Model Checking of Unrestricted Hierarchical State Machines.

Michael Benedikt, Patrice Godefroid, Thomas W. Reps

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Abstraction-Based Model Checking Using Modal Transition Systems.

Patrice Godefroid, Michael Huth, Radha Jagadeesan

Proceedings of the CONCUR 2001, 2001

2000

Automated systematic testing for constraint-based interactive services.

Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Ensuring privacy in presence awareness: an automated verification approach.

Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li

Proceedings of the CSCW 2000, 2000

Generalized Model Checking: Reasoning about Partial State Spaces.

Glenn Bruns, Patrice Godefroid

Proceedings of the CONCUR 2000, 2000

1999

Symbolic Protocol Verification with Queue BDDs.

Patrice Godefroid, David E. Long

Formal Methods Syst. Des., 1999

Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs.

Bernard Boigelot, Patrice Godefroid

Formal Methods Syst. Des., 1999

Exploiting Symmetry when Model-Checking Software.

Patrice Godefroid

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Model Checking Partial State Spaces with 3-Valued Temporal Logics.

Glenn Bruns, Patrice Godefroid

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor.

Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan

Bell Labs Tech. J., 1998

Transferring Formal Methods Technology to Industry.

Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Automatically Closing Open Reactive Programs.

Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

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

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

1997

Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs.

Bernard Boigelot, Patrice Godefroid

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

The Power of QDDs (Extended Abstract).

Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper

Proceedings of the Static Analysis, 4th International Symposium, 1997

Model Checking for Programming Languages using Verisoft.

Patrice Godefroid

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software.

Patrice Godefroid

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.

Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas

IEEE Trans. Software Eng., 1996

Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN.

Bernard Boigelot, Patrice Godefroid

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

On the costs and benefits of using partial-order methods for the verification of concurrent systems.

Patrice Godefroid

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract).

Bernard Boigelot, Patrice Godefroid

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem

Patrice Godefroid

Lecture Notes in Computer Science 1032, Springer, ISBN: 3-540-60761-7, 1996

1995

State-Space Caching Revisited.

Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin

Formal Methods Syst. Des., 1995

1994

A Partial Approach to Model Checking

Patrice Godefroid, Pierre Wolper

Inf. Comput., May, 1994

1993

Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties.

Patrice Godefroid, Pierre Wolper

Formal Methods Syst. Des., 1993

On the Verification of Temporal Properties.

Patrice Godefroid, Gerard J. Holzmann

Proceedings of the Protocol Specification, 1993

Partial-Order Methods for Temporal Verification.

Pierre Wolper, Patrice Godefroid

Proceedings of the CONCUR '93, 1993

Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract).

Patrice Godefroid, Didier Pirottin

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Coverage Preserving Reduction Strategies for Reachability Analysis.

Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin

Proceedings of the Protocol Specification, 1992

1991

An Efficient Reactive Planner for Synthesizing Reactive Plans.

Patrice Godefroid, Froduald Kabanza

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990

Using Partial Orders to Improve Automatic Verification Methods.

Patrice Godefroid

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990