Patrice Godefroid

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 19

Top Venues

CoRR

ICSE

ICSE (SEIP)

ISSTA

Publications

Nusrat Zahan, Thomas Zimmermann, Patrice Godefroid, Brendan Murphy, Chandra Shekhar Maddila, Laurie A. Williams
What are Weak Links in the npm Supply Chain? ICSE (SEIP) (2022)
Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui
HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs. CCS (2021)
Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schaefer
Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub. ICSE (SEIP) (2021)
Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schaefer
Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub. CoRR (2021)
Nusrat Zahan, Laurie A. Williams, Thomas Zimmermann, Patrice Godefroid, Brendan Murphy, Chandra Shekhar Maddila
What are Weak Links in the npm Supply Chain? CoRR (2021)
Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
Checking Security Properties of Cloud Service REST APIs. ICST (2020)
Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk
Intelligent REST API data fuzzing. ESEC/SIGSOFT FSE (2020)
Patrice Godefroid, Daniel Lehmann, Marina Polishchuk
Differential regression testing for REST APIs. ISSTA (2020)
Patrice Godefroid
Fuzzing: hack, art, and science. Commun. ACM 63 (2) (2020)
Daniel Selsam, Jesse Michael Han, Leonardo de Moura, Patrice Godefroid
Universal Policies for Software-Defined MDPs. CoRR (2020)
Vaggelis Atlidakis, Roxana Geambasu, Patrice Godefroid, Marina Polishchuk, Baishakhi Ray
Pythia: Grammar-Based Fuzzing of REST APIs with Coverage-guided Feedback and Learning-based Mutations. CoRR (2020)
Wing Lam, Patrice Godefroid, Suman Nath, Anirudh Santhiar, Suresh Thummalapenta
Root causing flaky tests in a large-scale industrial setting. ISSTA (2019)
Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
RESTler: stateful REST API fuzzing. ICSE (2019)
Konstantin Böttinger, Patrice Godefroid, Rishabh Singh
Deep Reinforcement Fuzzing. CoRR (2018)
Konstantin Böttinger, Patrice Godefroid, Rishabh Singh
Deep Reinforcement Fuzzing. IEEE Symposium on Security and Privacy Workshops (2018)
Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
REST-ler: Automatic Intelligent REST API Fuzzing. CoRR (2018)
Patrice Godefroid, Hila Peleg, Rishabh Singh
Learn&Fuzz: Machine Learning for Input Fuzzing. CoRR (2017)
Patrice Godefroid, Hila Peleg, Rishabh Singh
Learn&Fuzz: machine learning for input fuzzing. ASE (2017)
Maria Christakis, Patrick Emmisberger, Patrice Godefroid, Peter Müller
A general framework for dynamic stub injection. ICSE (2017)
Nuno P. Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
Checking Beliefs in Dynamic Networks. NSDI (2015)
Maria Christakis, Patrice Godefroid
Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. VMCAI (2015)
Maria Christakis, Patrice Godefroid
IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. SPIN (2015)
Patrice Godefroid
Micro execution. ICSE (2014)
Patrice Godefroid, Mihalis Yannakakis
Analysis of Boolean Programs. TACAS (2013)
Ella Bounimova, Patrice Godefroid, David A. Molnar
Billions and billions of constraints: whitebox fuzz testing in production. ICSE (2013)
Patrice Godefroid, Michael Y. Levin, David A. Molnar
SAGE: whitebox fuzzing for security testing. Commun. ACM 55 (3) (2012)
Patrice Godefroid
Test Generation Using Symbolic Execution. FSTTCS (2012)
Patrice Godefroid, Michael Y. Levin, David A. Molnar
SAGE: Whitebox Fuzzing for Security Testing. ACM Queue 10 (1) (2012)
Patrice Godefroid, Ankur Taly
Automated synthesis of symbolic instruction encodings from I/O samples. PLDI (2012)
Patrice Godefroid, Shuvendu K. Lahiri
From Program to Logic: An Introduction. LASER Summer School (2011)
Patrice Godefroid, Daniel Luchaup
Automatic partial loop summarization in dynamic test generation. ISSTA (2011)
Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. SAS (2011)
Kousha Etessami, Patrice Godefroid
An abort-aware model of transactional programming. Int. J. Softw. Tools Technol. Transf. 13 (6) (2011)
Patrice Godefroid
Tests from Proofs. TAP@TOOLS (2011)
Patrice Godefroid, Nir Piterman
LTL generalized model checking revisited. Int. J. Softw. Tools Technol. Transf. 13 (6) (2011)
Patrice Godefroid
Higher-order test generation. PLDI (2011)
Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser
Symbolic execution for software testing in practice: preliminary assessment. ICSE (2011)
Patrice Godefroid, Johannes Kinder
Proving memory safety of floating-point computations by combining static and dynamic program analysis. ISSTA (2010)
Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali
Compositional may-must program analysis: unleashing the power of alternation. POPL (2010)
Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser
FITE: future integrated testing environment. FoSER (2010)
Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen
FITE - Future Integrated Testing Environment. Practical Software Testing: Tool Automation and Human Factors (2010)
Patrice Godefroid, Nir Piterman
LTL Generalized Model Checking Revisited. VMCAI (2009)
Kousha Etessami, Patrice Godefroid
An Abort-Aware Model of Transactional Programming. VMCAI (2009)
Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin
Precise pointer reasoning for dynamic test generation. ISSTA (2009)
Patrice Godefroid
Software Model Checking Improving Security of a Billion Computers. SPIN (2009)
Patrice Godefroid, Michael Y. Levin, David A. Molnar
Active property checking. EMSOFT (2008)
Patrice Godefroid, Michael Y. Levin, David A. Molnar
Automated Whitebox Fuzz Testing. NDSS (2008)
Saswat Anand, Patrice Godefroid, Nikolai Tillmann
Demand-Driven Compositional Symbolic Execution. TACAS (2008)
Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
Automating Software Testing Using Program Analysis. IEEE Softw. 25 (5) (2008)
Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar
Testing for buffer overflows with length abstraction. ISSTA (2008)
Patrice Godefroid, Adam Kiezun, Michael Y. Levin
Grammar-based whitebox fuzzing. PLDI (2008)
Patrice Godefroid
Compositional dynamic test generation. POPL (2007)
Arindam Chakrabarti, Patrice Godefroid
Software partitioning for effective automated unit testing. EMSOFT (2006)
Patrice Godefroid, Nils Klarlund, Koushik Sen
DART: directed automated random testing. PLDI (2005)
Patrice Godefroid
Software Model Checking: The VeriSoft Approach. Formal Methods Syst. Des. 26 (2) (2005)
Patrice Godefroid, Nils Klarlund
Software Model Checking: Searching for Computations in the Abstract or the Concrete. IFM (2005)
Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis
Analysis of recursive state machines. ACM Trans. Program. Lang. Syst. 27 (4) (2005)
Cormac Flanagan, Patrice Godefroid
Dynamic partial-order reduction for model checking software. POPL (2005)
Patrice Godefroid
Generalized Model Checking. TIME (2005)
Patrice Godefroid, Michael Huth
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. LICS (2005)
Glenn Bruns, Patrice Godefroid
Model Checking with Multi-valued Logics. ICALP (2004)
Patrice Godefroid
Invited Talk: "Model checking" software with VeriSoft. PASTE (2004)
Patrice Godefroid, Sarfraz Khurshid
Exploring very large state spaces using genetic algorithms. Int. J. Softw. Tools Technol. Transf. 6 (2) (2004)
A. Prasad Sistla, Patrice Godefroid
Symmetry and reduced symmetry in model checking. ACM Trans. Program. Lang. Syst. 26 (4) (2004)
Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan
Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS (2004)
Patrice Godefroid
Reasoning about Abstract Open Systems with Generalized Module Checking. EMSOFT (2003)
Patrice Godefroid, Radha Jagadeesan
On the Expressiveness of 3-Valued Models. VMCAI (2003)
Satish Chandra, Patrice Godefroid, Christopher Palm
Software model checking in practice: an industrial case study. ICSE (2002)
Patrice Godefroid, Radha Jagadeesan
Automatic Abstraction Using Generalized Model Checking. CAV (2002)
Patrice Godefroid, Sarfraz Khurshid
Exploring Very Large State Spaces Using Genetic Algorithms. TACAS (2002)
Michael Benedikt, Patrice Godefroid, Thomas W. Reps
Model Checking of Unrestricted Hierarchical State Machines. ICALP (2001)
Patrice Godefroid, Michael Huth, Radha Jagadeesan
Abstraction-Based Model Checking Using Modal Transition Systems. CONCUR (2001)
A. Prasad Sistla, Patrice Godefroid
Symmetry and Reduced Symmetry in Model Checking. CAV (2001)
Glenn Bruns, Patrice Godefroid
Temporal Logic Query Checking. LICS (2001)
Glenn Bruns, Patrice Godefroid
Generalized Model Checking: Reasoning about Partial State Spaces. CONCUR (2000)
Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li
Ensuring privacy in presence awareness: an automated verification approach. CSCW (2000)
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer
Automated systematic testing for constraint-based interactive services. SIGSOFT FSE (2000)
Bernard Boigelot, Patrice Godefroid
Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. Formal Methods Syst. Des. 14 (3) (1999)
Glenn Bruns, Patrice Godefroid
Model Checking Partial State Spaces with 3-Valued Temporal Logics. CAV (1999)
Patrice Godefroid
Exploiting Symmetry when Model-Checking Software. FORTE (1999)
Patrice Godefroid, David E. Long
Symbolic Protocol Verification with Queue BDDs. Formal Methods Syst. Des. 14 (3) (1999)
Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan
Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor. Bell Labs Tech. J. 3 (2) (1998)
Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan
Automatically Closing Open Reactive Programs. PLDI (1998)
Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil
Transferring Formal Methods Technology to Industry. WIFT (1998)
Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. ISSTA (1998)
Patrice Godefroid
Model Checking for Programming Languages using Verisoft. POPL (1997)
Patrice Godefroid
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software. CAV (1997)
Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper
The Power of QDDs (Extended Abstract). SAS (1997)
Bernard Boigelot, Patrice Godefroid
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. TACAS (1997)
Patrice Godefroid
On the costs and benefits of using partial-order methods for the verification of concurrent systems. Partial Order Methods in Verification (1996)
Patrice Godefroid, David E. Long
Symbolic Protocol Verification With Queue BDDs. LICS (1996)
Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. ISSTA (1996)
Bernard Boigelot, Patrice Godefroid
Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN. FME (1996)
Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. IEEE Trans. Software Eng. 22 (7) (1996)
Bernard Boigelot, Patrice Godefroid
Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract). CAV (1996)
Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin
State-Space Caching Revisited. Formal Methods Syst. Des. 7 (3) (1995)
Patrice Godefroid, Pierre Wolper
A Partial Approach to Model Checking Inf. Comput. 110 (2) (1994)
Patrice Godefroid, Gerard J. Holzmann
On the Verification of Temporal Properties. PSTV (1993)
Patrice Godefroid, Didier Pirottin
Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract). CAV (1993)
Pierre Wolper, Patrice Godefroid
Partial-Order Methods for Temporal Verification. CONCUR (1993)

Patrice Godefroid.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrice Godefroid