World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
65
Citations
22646
World Ranking
2417
National Ranking
1210

Overview

Patrice Godefroid is affiliated with Microsoft in the United States and has contributed extensively to the field of computer science. Their research interests span multiple subfields, including software, signal processing, artificial intelligence, information systems, and computer networks and communications.

The scientist's work focuses on several main topics, notably advanced malware detection techniques, software testing and debugging techniques, software engineering research, software reliability and analysis research, adversarial robustness in machine learning, topic modeling, and explainable artificial intelligence (XAI).

Patrice Godefroid has published in a range of scholarly venues, with frequent contributions appearing in:

  • arXiv (Cornell University)
  • Zenodo (CERN European Organization for Nuclear Research)
  • Communications of the ACM

Significant recent papers include:

  • Fuzzing, 2020, Communications of the ACM
  • Pythia: Grammar-Based Fuzzing of REST APIs with Coverage-guided Feedback and Learning-based Mutations, 2020, arXiv (Cornell University)
  • Universal Policies for Software-Defined MDPs, 2020, arXiv (Cornell University)
  • Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub, 2021, arXiv (Cornell University)
  • 100 NPM Repositories used for Anomalicious Commit Detection Experiment, 2020, Zenodo (CERN European Organization for Nuclear Research)

The scientist has collaborated with multiple researchers across these publications. Frequent co-authors include Danielle Gonzalez, Thomas Zimmermann, Vaggelis Atlidakis, Roxana Geambasu, and Marina Polishchuk.

Best Publications

  • DART: directed automated random testing

    Patrice Godefroid;Nils Klarlund;Koushik Sen

  • Automated Whitebox Fuzz Testing.

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

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

    Patrice Godefroid;J. van Leeuwen;J. Hartmanis;G. Goos

  • Model checking for programming languages using VeriSoft

    Patrice Godefroid

  • Dynamic partial-order reduction for model checking software

    Cormac Flanagan;Patrice Godefroid

  • Partial-Order Methods for the Verification of Concurrent Systems

    Patrice Godefroid

  • SAGE: whitebox fuzzing for security testing

    Patrice Godefroid;Michael Y. Levin;David Molnar

  • Compositional dynamic test generation

    Patrice Godefroid

  • Grammar-based whitebox fuzzing

    Patrice Godefroid;Adam Kiezun;Michael Y. Levin

  • Using Partial Orders to Improve Automatic Verification Methods

    Patrice Godefroid

  • Symbolic execution for software testing in practice: preliminary assessment

    Cristian Cadar;Patrice Godefroid;Sarfraz Khurshid;Corina S. Pasareanu

  • Using partial orders for the efficient verification of deadlock freedom and safety properties

    Patrice Godefroid;Pierre Wolper

  • A partial approach to model checking

    P. Godefroid;P. Wolper

  • Learn&Fuzz: machine learning for input fuzzing

    Patrice Godefroid;Hila Peleg;Rishabh Singh

  • Demand-driven compositional symbolic execution

    Saswat Anand;Patrice Godefroid;Nikolai Tillmann

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

    Glenn Bruns;Patrice Godefroid

  • Active property checking

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

  • VeriWeb: Automatically Testing Dynamic Web Sites

    Michael Benedikt;Juliana Freire;Patrice Godefroid

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

    Patrice Godefroid;Aditya V. Nori;Sriram K. Rajamani;Sai Deep Tetali

  • Analysis of recursive state machines

    Rajeev Alur;Michael Benedikt;Kousha Etessami;Patrice Godefroid

  • SAGE: Whitebox Fuzzing for Security Testing: SAGE has had a remarkable impact at Microsoft.

    Patrice Godefroid;Michael Y. Levin;David Molnar

Frequent Co-Authors

Radha Jagadeesan
Radha Jagadeesan DePaul University
David Molnar
David Molnar Microsoft (United States)
Pierre Wolper
Pierre Wolper University of Liège
Michael Benedikt
Michael Benedikt University of Oxford
Kousha Etessami
Kousha Etessami University of Edinburgh
Koushik Sen
Koushik Sen University of California, Berkeley
Rishabh Singh
Rishabh Singh Google (United States)
Nikolai Tillmann
Nikolai Tillmann Facebook (United States)
Gerard J. Holzmann
Gerard J. Holzmann Nimble Research
Aditya V. Nori
Aditya V. Nori Microsoft (United States)

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to diverse options beyond traditional on-campus study. Many students now choose flexible paths, like a computer science degree online, which offers accelerated courses and self-paced learning—perfect for working professionals or career changers.

If you’re concerned about academic history, you may wonder, will grad schools accept low gpa? Many reputable online colleges offer admission chances for applicants with lower GPAs, providing support and flexible admission criteria.

Computer science skills overlap with many fields. Curious about environmental careers? Discover what can you get with an environmental science degree, from roles in sustainability to technology-driven environmental monitoring.

Those interested in combining technology and sustainability can also consider affordable environmental engineering degrees online. These programs train students for growing careers in green technology and infrastructure development.

Best Scientists Citing Patrice Godefroid

Trending Scientists

Recently Published Articles