![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Patrice Godefroid
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c83]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: 331-340 - 2021
- [c82]Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui:
HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs. CCS 2021: 366-378 - [c81]Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schaefer:
Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub. ICSE (SEIP) 2021: 258-267 - [i8]Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schaefer:
Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub. CoRR abs/2103.03846 (2021) - [i7]Nusrat Zahan, Laurie A. Williams, Thomas Zimmermann, Patrice Godefroid, Brendan Murphy, Chandra Shekhar Maddila:
What are Weak Links in the npm Supply Chain? CoRR abs/2112.10165 (2021) - 2020
- [j17]Patrice Godefroid:
Fuzzing: hack, art, and science. Commun. ACM 63(2): 70-76 (2020) - [c80]Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk:
Checking Security Properties of Cloud Service REST APIs. ICST 2020: 387-397 - [c79]Patrice Godefroid, Daniel Lehmann
, Marina Polishchuk:
Differential regression testing for REST APIs. ISSTA 2020: 312-323 - [c78]Patrice Godefroid, Bo-Yuan Huang
, Marina Polishchuk:
Intelligent REST API data fuzzing. ESEC/SIGSOFT FSE 2020: 725-736 - [i6]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 abs/2005.11498 (2020) - [i5]Daniel Selsam, Jesse Michael Han, Leonardo de Moura, Patrice Godefroid:
Universal Policies for Software-Defined MDPs. CoRR abs/2012.11401 (2020)
2010 – 2019
- 2019
- [c77]Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk:
RESTler: stateful REST API fuzzing. ICSE 2019: 748-758 - [c76]Wing Lam, Patrice Godefroid, Suman Nath
, Anirudh Santhiar, Suresh Thummalapenta:
Root causing flaky tests in a large-scale industrial setting. ISSTA 2019: 101-111 - [p4]George Candea, Patrice Godefroid:
Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances. Computing and Software Science 2019: 505-531 - 2018
- [c75]Konstantin Böttinger, Patrice Godefroid, Rishabh Singh:
Deep Reinforcement Fuzzing. IEEE Symposium on Security and Privacy Workshops 2018: 116-122 - [p3]Patrice Godefroid, Koushik Sen:
Combining Model Checking and Testing. Handbook of Model Checking 2018: 613-649 - [i4]Konstantin Böttinger, Patrice Godefroid, Rishabh Singh:
Deep Reinforcement Fuzzing. CoRR abs/1801.04589 (2018) - [i3]Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk:
REST-ler: Automatic Intelligent REST API Fuzzing. CoRR abs/1806.09739 (2018) - 2017
- [c74]Maria Christakis, Patrick Emmisberger, Patrice Godefroid, Peter Müller:
A general framework for dynamic stub injection. ICSE 2017: 586-596 - [c73]Patrice Godefroid, Hila Peleg, Rishabh Singh:
Learn&Fuzz: machine learning for input fuzzing. ASE 2017: 50-59 - [i2]Patrice Godefroid, Hila Peleg, Rishabh Singh:
Learn&Fuzz: Machine Learning for Input Fuzzing. CoRR abs/1701.07232 (2017) - 2016
- [p2]Patrice Godefroid:
Between Testing and Verification: Dynamic Software Model Checking. Dependable Software Systems Engineering 2016: 99-116 - 2015
- [c72]Nuno P. Lopes, Nikolaj S. Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese:
Checking Beliefs in Dynamic Networks. NSDI 2015: 499-512 - [c71]Maria Christakis, Patrice Godefroid:
IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. SPIN 2015: 300-318 - [c70]Maria Christakis, Patrice Godefroid:
Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. VMCAI 2015: 373-392 - 2014
- [c69]Patrice Godefroid:
Micro execution. ICSE 2014: 539-549 - [p1]Patrice Godefroid:
May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification. Software Systems Safety 2014: 1-16 - 2013
- [c68]Ella Bounimova, Patrice Godefroid, David A. Molnar:
Billions and billions of constraints: whitebox fuzz testing in production. ICSE 2013: 122-131 - [c67]Patrice Godefroid, Mihalis Yannakakis:
Analysis of Boolean Programs. TACAS 2013: 214-229 - 2012
- [j16]Patrice Godefroid, Michael Y. Levin, David A. Molnar:
SAGE: whitebox fuzzing for security testing. Commun. ACM 55(3): 40-44 (2012) - [j15]Patrice Godefroid, Michael Y. Levin, David A. Molnar:
SAGE: Whitebox Fuzzing for Security Testing. ACM Queue 10(1): 20 (2012) - [c66]Patrice Godefroid:
Test Generation Using Symbolic Execution. FSTTCS 2012: 24-33 - [c65]Patrice Godefroid, Ankur Taly:
Automated synthesis of symbolic instruction encodings from I/O samples. PLDI 2012: 441-452 - 2011
- [j14]Kousha Etessami, Patrice Godefroid:
An abort-aware model of transactional programming. Int. J. Softw. Tools Technol. Transf. 13(6): 537-551 (2011) - [j13]Patrice Godefroid, Nir Piterman
:
LTL generalized model checking revisited. Int. J. Softw. Tools Technol. Transf. 13(6): 571-584 (2011) - [c64]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: 1066-1071 - [c63]Patrice Godefroid, Daniel Luchaup:
Automatic partial loop summarization in dynamic test generation. ISSTA 2011: 23-33 - [c62]Patrice Godefroid, Shuvendu K. Lahiri:
From Program to Logic: An Introduction. LASER Summer School 2011: 31-44 - [c61]Patrice Godefroid:
Higher-order test generation. PLDI 2011: 258-269 - [c60]Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González:
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. SAS 2011: 112-128 - [c59]Patrice Godefroid:
Tests from Proofs. TAP@TOOLS 2011: 14 - 2010
- [c58]Patrice Godefroid, Johannes Kinder:
Proving memory safety of floating-point computations by combining static and dynamic program analysis. ISSTA 2010: 1-12 - [c57]Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali:
Compositional may-must program analysis: unleashing the power of alternation. POPL 2010: 43-56 - [c56]Michael W. Whalen, Patrice Godefroid, Leonardo Mariani
, Andrea Polini
, Nikolai Tillmann, Willem Visser:
FITE: future integrated testing environment. FoSER 2010: 401-406 - [i1]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
2000 – 2009
- 2009
- [c55]Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin:
Precise pointer reasoning for dynamic test generation. ISSTA 2009: 129-140 - [c54]Patrice Godefroid:
Software Model Checking Improving Security of a Billion Computers. SPIN 2009: 1 - [c53]Kousha Etessami, Patrice Godefroid:
An Abort-Aware Model of Transactional Programming. VMCAI 2009: 59-73 - [c52]Patrice Godefroid, Nir Piterman
:
LTL Generalized Model Checking Revisited. VMCAI 2009: 89-104 - 2008
- [j12]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): 30-37 (2008) - [c51]Patrice Godefroid, Michael Y. Levin, David A. Molnar:
Active property checking. EMSOFT 2008: 207-216 - [c50]Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar:
Testing for buffer overflows with length abstraction. ISSTA 2008: 27-38 - [c49]Patrice Godefroid, Michael Y. Levin, David A. Molnar:
Automated Whitebox Fuzz Testing. NDSS 2008 - [c48]Patrice Godefroid, Adam Kiezun, Michael Y. Levin:
Grammar-based whitebox fuzzing. PLDI 2008: 206-215 - [c47]Saswat Anand, Patrice Godefroid, Nikolai Tillmann:
Demand-Driven Compositional Symbolic Execution. TACAS 2008: 367-381 - 2007
- [c46]Patrice Godefroid:
Compositional dynamic test generation. POPL 2007: 47-54 - 2006
- [c45]Arindam Chakrabarti, Patrice Godefroid:
Software partitioning for effective automated unit testing. EMSOFT 2006: 262-271 - 2005
- [j11]Patrice Godefroid:
Software Model Checking: The VeriSoft Approach. Formal Methods Syst. Des. 26(2): 77-101 (2005) - [j10]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): 786-818 (2005) - [c44]Patrice Godefroid, Nils Klarlund:
Software Model Checking: Searching for Computations in the Abstract or the Concrete. IFM 2005: 20-32 - [c43]Patrice Godefroid, Michael Huth:
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. LICS 2005: 158-167 - [c42]Patrice Godefroid, Nils Klarlund, Koushik Sen:
DART: directed automated random testing. PLDI 2005: 213-223 - [c41]Cormac Flanagan, Patrice Godefroid:
Dynamic partial-order reduction for model checking software. POPL 2005: 110-121 - [c40]Patrice Godefroid:
Generalized Model Checking. TIME 2005: 3 - [e1]Patrice Godefroid:
Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings. Lecture Notes in Computer Science 3639, Springer 2005, ISBN 3-540-28195-9 [contents] - 2004
- [j9]Patrice Godefroid, Sarfraz Khurshid:
Exploring very large state spaces using genetic algorithms. Int. J. Softw. Tools Technol. Transf. 6(2): 117-127 (2004) - [j8]A. Prasad Sistla, Patrice Godefroid:
Symmetry and reduced symmetry in model checking. ACM Trans. Program. Lang. Syst. 26(4): 702-734 (2004) - [c39]Glenn Bruns, Patrice Godefroid:
Model Checking with Multi-valued Logics. ICALP 2004: 281-293 - [c38]Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan:
Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS 2004: 170-179 - [c37]Patrice Godefroid:
Invited Talk: "Model checking" software with VeriSoft. PASTE 2004: 36 - 2003
- [c36]Patrice Godefroid:
Reasoning about Abstract Open Systems with Generalized Module Checking. EMSOFT 2003: 223-240 - [c35]Patrice Godefroid, Radha Jagadeesan:
On the Expressiveness of 3-Valued Models. VMCAI 2003: 206-222 - 2002
- [c34]Patrice Godefroid, Radha Jagadeesan:
Automatic Abstraction Using Generalized Model Checking. CAV 2002: 137-150 - [c33]Satish Chandra, Patrice Godefroid, Christopher Palm:
Software model checking in practice: an industrial case study. ICSE 2002: 431-441 - [c32]Patrice Godefroid, Sarfraz Khurshid:
Exploring Very Large State Spaces Using Genetic Algorithms. TACAS 2002: 266-280 - 2001
- [c31]A. Prasad Sistla, Patrice Godefroid:
Symmetry and Reduced Symmetry in Model Checking. CAV 2001: 91-103 - [c30]Patrice Godefroid, Michael Huth, Radha Jagadeesan:
Abstraction-Based Model Checking Using Modal Transition Systems. CONCUR 2001: 426-440 - [c29]Michael Benedikt, Patrice Godefroid, Thomas W. Reps:
Model Checking of Unrestricted Hierarchical State Machines. ICALP 2001: 652-666 - [c28]Glenn Bruns, Patrice Godefroid:
Temporal Logic Query Checking. LICS 2001: 409-417 - 2000
- [c27]Glenn Bruns, Patrice Godefroid:
Generalized Model Checking: Reasoning about Partial State Spaces. CONCUR 2000: 168-182 - [c26]Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li:
Ensuring privacy in presence awareness: an automated verification approach. CSCW 2000: 59-68 - [c25]Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer
:
Automated systematic testing for constraint-based interactive services. SIGSOFT FSE 2000: 40-49
1990 – 1999
- 1999
- [j7]Bernard Boigelot, Patrice Godefroid:
Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. Formal Methods Syst. Des. 14(3): 237-255 (1999) - [j6]Patrice Godefroid, David E. Long:
Symbolic Protocol Verification with Queue BDDs. Formal Methods Syst. Des. 14(3): 257-271 (1999) - [c24]Glenn Bruns, Patrice Godefroid:
Model Checking Partial State Spaces with 3-Valued Temporal Logics. CAV 1999: 274-287 - [c23]Patrice Godefroid:
Exploiting Symmetry when Model-Checking Software. FORTE 1999: 257-275 - 1998
- [j5]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): 32-46 (1998) - [c22]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: 124-133 - [c21]Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan:
Automatically Closing Open Reactive Programs. PLDI 1998: 345-357 - [c20]Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil:
Transferring Formal Methods Technology to Industry. WIFT 1998: 128- - 1997
- [c19]Patrice Godefroid:
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software. CAV 1997: 476-479 - [c18]Patrice Godefroid:
Model Checking for Programming Languages using Verisoft. POPL 1997: 174-186 - [c17]Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper
:
The Power of QDDs (Extended Abstract). SAS 1997: 172-186 - [c16]Bernard Boigelot, Patrice Godefroid:
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. TACAS 1997: 321-333 - 1996
- [b1]Patrice Godefroid:
Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem. Lecture Notes in Computer Science 1032, Springer 1996, ISBN 3-540-60761-7 - [j4]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): 496-507 (1996) - [c15]Bernard Boigelot, Patrice Godefroid:
Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract). CAV 1996: 1-12 - [c14]Patrice Godefroid:
On the costs and benefits of using partial-order methods for the verification of concurrent systems. Partial Order Methods in Verification 1996: 289-303 - [c13]Bernard Boigelot, Patrice Godefroid:
Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN. FME 1996: 465-478 - [c12]Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas:
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. ISSTA 1996: 261-269 - [c11]Patrice Godefroid, David E. Long:
Symbolic Protocol Verification With Queue BDDs. LICS 1996: 198-206 - 1995
- [j3]Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin:
State-Space Caching Revisited. Formal Methods Syst. Des. 7(3): 227-241 (1995) - 1994
- [j2]Patrice Godefroid, Pierre Wolper
:
A Partial Approach to Model Checking. Inf. Comput. 110(2): 305-326 (1994) - 1993
- [j1]Patrice Godefroid, Pierre Wolper
:
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. Formal Methods Syst. Des. 2(2): 149-164 (1993) - [c10]Patrice Godefroid, Didier Pirottin:
Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract). CAV 1993: 438-449 - [c9]Pierre Wolper
, Patrice Godefroid:
Partial-Order Methods for Temporal Verification. CONCUR 1993: 233-246 - [c8]Patrice Godefroid, Gerard J. Holzmann:
On the Verification of Temporal Properties. PSTV 1993: 109-124 - 1992
- [c7]Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin:
State-Space Caching Revisited. CAV 1992: 178-191 - [c6]Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin:
Coverage Preserving Reduction Strategies for Reachability Analysis. PSTV 1992: 349-363 - 1991
- [c5]Patrice Godefroid, Froduald Kabanza:
An Efficient Reactive Planner for Synthesizing Reactive Plans. AAAI 1991: 640-645 - [c4]Patrice Godefroid, Pierre Wolper
:
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. CAV 1991: 332-342 - [c3]Patrice Godefroid, Pierre Wolper:
A Partial Approach to Model Checking. LICS 1991: 406-415 - 1990
- [c2]Patrice Godefroid:
Using Partial Orders to Improve Automatic Verification Methods. CAV 1990: 176-185 - [c1]Patrice Godefroid:
Using Partial Orders to Improve Automatic Verification Methods. CAV (DIMACS/AMS volume) 1990: 321-340
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint