Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
DART: directed automated random testing
- Patrice Godefroid, N. Klarlund, Koushik Sen
- Computer SciencePLDI '05
- 12 June 2005
TLDR
Partial-Order Methods for the Verification of Concurrent Systems
- Patrice Godefroid
- Computer ScienceLecture Notes in Computer Science
- 1 June 1996
TLDR
Dynamic partial-order reduction for model checking software
- C. Flanagan, Patrice Godefroid
- Computer SciencePOPL '05
- 12 January 2005
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent processes/threads,…
Automated Whitebox Fuzz Testing
- Patrice Godefroid, Michael Y. Levin, D. Molnar
- Computer ScienceNDSS
- 2008
TLDR
Model checking for programming languages using VeriSoft
- Patrice Godefroid
- Computer SciencePOPL '97
- 1997
TLDR
Compositional dynamic test generation
- Patrice Godefroid
- Computer SciencePOPL '07
- 17 January 2007
TLDR
Generalized Model Checking: Reasoning about Partial State Spaces
- G. Bruns, Patrice Godefroid
- Computer Science, PhilosophyCONCUR
- 22 August 2000
TLDR
Checking Beliefs in Dynamic Networks
- Nuno P. Lopes, N. Bjørner, Patrice Godefroid, K. Jayaraman, G. Varghese
- Computer ScienceNSDI
- 4 May 2015
TLDR
Learn&Fuzz: Machine learning for input fuzzing
- Patrice Godefroid, Hila Peleg, Rishabh Singh
- Computer Science32nd IEEE/ACM International Conference on…
- 25 January 2017
TLDR
Analysis of recursive state machines
- R. Alur, M. Benedikt, K. Etessami, Patrice Godefroid, T. Reps, M. Yannakakis
- Computer ScienceTOPL
- 1 July 2005
TLDR
...
1
2
3
4
5
...