Patrice Godefroid

7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Fuzzing: hack, art, and science

Patrice Godefroid (2020) · Communications of the ACM · Association for Computing Machinery

SAGE: Whitebox Fuzzing for Security Testing

Patrice Godefroid and others (2012) · Association for Computing Machinery (ACM)

Higher-order test generation

Patrice Godefroid (2011) · ACM

DART

Patrice Godefroid and others (2005) · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

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

Patrice Godefroid (1996) · Lecture notes in computer science · Springer Science+Business Media

Partial-order methods for temporal verification

Pierre Wolper and others (1993) · Lecture notes in computer science · Springer Science+Business Media

A partial approach to model checking

Patrice Godefroid and others (1991) · Proceedings - Symposium on Logic in Computer Science · Institute of Electrical and Electronics Engineers