Patrice Godefroid
Patrice Godefroid
Microsoft Research
Verified email at microsoft.com - Homepage
TitleCited byYear
DART: directed automated random testing
P Godefroid, N Klarlund, K Sen
ACM Sigplan Notices 40 (6), 213-223, 2005
26002005
Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem
P Godefroid, J Van Leeuwen, J Hartmanis, G Goos, P Wolper
Springer, 1996
13021996
Automated Whitebox Fuzz Testing.
P Godefroid, MY Levin, DA Molnar
NDSS 8, 151-166, 2008
11642008
Model checking for programming languages using VeriSoft
P Godefroid
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
8831997
Dynamic partial-order reduction for model checking software
C Flanagan, P Godefroid
ACM Sigplan Notices 40 (1), 110-121, 2005
6632005
Compositional dynamic test generation
P Godefroid
ACM Sigplan Notices 42 (1), 47-54, 2007
5372007
SAGE: whitebox fuzzing for security testing
P Godefroid, MY Levin, D Molnar
Communications of the ACM 55 (3), 40-44, 2012
4852012
Using partial orders for the efficient verification of deadlock freedom and safety properties
P Godefroid, P Wolper
International Conference on Computer Aided Verification, 332-342, 1991
4841991
Using partial orders to improve automatic verification methods
P Godefroid
International Conference on Computer Aided Verification, 176-185, 1990
4481990
Grammar-based whitebox fuzzing
P Godefroid, A Kiezun, MY Levin
ACM Sigplan Notices 43 (6), 206-215, 2008
3872008
A partial approach to model checking
P Godefroid, P Wolper
Information and Computation 110 (2), 305-326, 1994
3721994
Symbolic execution for software testing in practice: preliminary assessment
C Cadar, P Godefroid, S Khurshid, CS Pasareanu, K Sen, N Tillmann, ...
2011 33rd International Conference on Software Engineering (ICSE), 1066-1071, 2011
3442011
Model checking partial state spaces with 3-valued temporal logics
G Bruns, P Godefroid
International Conference on Computer Aided Verification, 274-287, 1999
2751999
Demand-driven compositional symbolic execution
S Anand, P Godefroid, N Tillmann
International Conference on Tools and Algorithms for the Construction and …, 2008
2632008
Presence awareness in collaborative systems
PI Godefroid, JD Herbsleb, LJ Jagadeesan, D Li
US Patent 6,697,840, 2004
2332004
Symbolic verification of communication protocols with infinite state spaces using QDDs
B Boigelot, P Godefroid
Formal Methods in System Design 14 (3), 237-255, 1999
2311999
VeriWeb: Automatically testing dynamic web sites
M Benedikt, J Freire, P Godefroid
In Proceedings of 11th International World Wide Web Conference (WW W’2002, 2002
2162002
Compositional may-must program analysis: unleashing the power of alternation
P Godefroid, AV Nori, SK Rajamani, SD Tetali
ACM Sigplan Notices 45 (1), 43-56, 2010
2032010
Abstraction-based model checking using modal transition systems
P Godefroid, M Huth, R Jagadeesan
International Conference on Concurrency Theory, 426-440, 2001
2012001
Refining dependencies improves partial-order verification methods
P Godefroid, D Pirottin
International Conference on Computer Aided Verification, 438-449, 1993
2011993
The system can't perform the operation now. Try again later.
Articles 1–20