Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Partial-Order Methods for the Verification of Concurrent Systems
- Patrice Godefroid
- Mathematics, Computer Science
- Lecture Notes in Computer Science
- 1 June 1996
TLDR
DART: directed automated random testing
- Patrice Godefroid, N. Klarlund, Koushik Sen
- Computer Science
- PLDI '05
- 12 June 2005
TLDR
Dynamic partial-order reduction for model checking software
- C. Flanagan, Patrice Godefroid
- Computer Science
- POPL '05
- 12 January 2005
TLDR
Automated Whitebox Fuzz Testing
- Patrice Godefroid, Michael Y. Levin, D. Molnar
- Computer Science
- NDSS
- 2008
TLDR
Model checking for programming languages using VeriSoft
- Patrice Godefroid
- Computer Science
- POPL '97
- 1997
TLDR
Compositional dynamic test generation
- Patrice Godefroid
- Computer Science
- POPL '07
- 17 January 2007
TLDR
SAGE: whitebox fuzzing for security testing
- Patrice Godefroid, Michael Y. Levin, D. Molnar
- Computer Science
- Commun. ACM
- 2012
SAGE has had a remarkable impact at Microsoft.
Generalized Model Checking: Reasoning about Partial State Spaces
- G. Bruns, Patrice Godefroid
- Computer Science, Mathematics
- CONCUR
- 22 August 2000
TLDR
Checking Beliefs in Dynamic Networks
- Nuno P. Lopes, N. Bjørner, Patrice Godefroid, K. Jayaraman, G. Varghese
- Computer Science
- NSDI
- 4 May 2015
TLDR
Learn&Fuzz: Machine learning for input fuzzing
- Patrice Godefroid, Hila Peleg, R. Singh
- Computer Science
- 32nd IEEE/ACM International Conference on…
- 25 January 2017
TLDR
...
1
2
3
4
5
...