Follow
Patrice Godefroid
Patrice Godefroid
Lacework
Verified email at lacework.net - Homepage
Title
Cited by
Cited by
Year
DART: Directed automated random testing
P Godefroid, N Klarlund, K Sen
Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005
33812005
Automated whitebox fuzz testing.
P Godefroid, MY Levin, DA Molnar
NDSS 8, 151-166, 2008
16192008
Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem
P Godefroid
Springer Berlin Heidelberg, 1996
15011996
Model checking for programming languages using VeriSoft
P Godefroid
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
10471997
Dynamic partial-order reduction for model checking software
C Flanagan, P Godefroid
ACM Sigplan Notices 40 (1), 110-121, 2005
8622005
SAGE: whitebox fuzzing for security testing
P Godefroid, MY Levin, D Molnar
Communications of the ACM 55 (3), 40-44, 2012
7312012
Compositional dynamic test generation
P Godefroid
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
6672007
Grammar-based whitebox fuzzing
P Godefroid, A Kiezun, MY Levin
Proceedings of the 29th ACM SIGPLAN conference on programming language …, 2008
6262008
Using partial orders for the efficient verification of deadlock freedom and safety properties
P Godefroid, P Wolper
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992
5371992
Using partial orders to improve automatic verification methods
P Godefroid
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
5231991
Symbolic execution for software testing in practice: preliminary assessment
C Cadar, P Godefroid, S Khurshid, CS Păsăreanu, K Sen, N Tillmann, ...
Proceedings of the 33rd International Conference on Software Engineering …, 2011
4592011
A partial approach to model checking
P Godefroid, P Wolper
Information and Computation 110 (2), 305-326, 1994
4271994
Learn&fuzz: Machine learning for input fuzzing
P Godefroid, H Peleg, R Singh
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
3392017
Demand-driven compositional symbolic execution
S Anand, P Godefroid, N Tillmann
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
3322008
Model checking partial state spaces with 3-valued temporal logics
G Bruns, P Godefroid
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
3181999
Active property checking
P Godefroid, MY Levin, D Molnar
US Patent 8,549,486, 2013
2662013
Compositional may-must program analysis: unleashing the power of alternation
P Godefroid, AV Nori, SK Rajamani, SD Tetali
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2010
2552010
VeriWeb: Automatically testing dynamic web sites
M Benedikt, J Freire, P Godefroid
World Wide Web Conference, 2002
2542002
Symbolic verification of communication protocols with infinite state spaces using QDDs
B Boigelot, P Godefroid
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
2541996
Analysis of recursive state machines
R Alur, M Benedikt, K Etessami, P Godefroid, T Reps, M Yannakakis
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (4), 786-818, 2005
2332005
The system can't perform the operation now. Try again later.
Articles 1–20