Patrice Godefroid

DART

Patrice Godefroid, Nils Klarlund, Koushik Sen · ACM SIGPLAN Notices · 2005 · 2.1K citations

Engineering, Computer Engineering, Computer Science +15

DART

Patrice Godefroid, Nils Klarlund, Koushik Sen · 2005 · 1.5K citations

Engineering, Computer Engineering, Computer Science +15

Automated Whitebox Fuzz Testing.

Patrice Godefroid, Michael Y. Levin, David A. Molnar · 2008 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

Model checking for programming languages using VeriSoft

Patrice Godefroid · 1997 · 829 citations · Full text

Computing, Computer Science, Computer Systems +17

Dynamic partial-order reduction for model checking software

Cormac Flanagan, Patrice Godefroid · 2005 · 641 citations · Full text

Computing, Computer Science, Algorithms +15