DART: Directed automated random testing P Godefroid, N Klarlund, K Sen Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005 | 3413 | 2005 |

Automated whitebox fuzz testing. P Godefroid, MY Levin, DA Molnar NDSS 8, 151-166, 2008 | 1639 | 2008 |

Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem P Godefroid Springer Berlin Heidelberg, 1996 | 1504 | 1996 |

Model checking for programming languages using VeriSoft P Godefroid Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 1050 | 1997 |

Dynamic partial-order reduction for model checking software C Flanagan, P Godefroid ACM Sigplan Notices 40 (1), 110-121, 2005 | 864 | 2005 |

SAGE: whitebox fuzzing for security testing P Godefroid, MY Levin, D Molnar Communications of the ACM 55 (3), 40-44, 2012 | 751 | 2012 |

Compositional dynamic test generation P Godefroid Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007 | 668 | 2007 |

Grammar-based whitebox fuzzing P Godefroid, A Kiezun, MY Levin Proceedings of the 29th ACM SIGPLAN conference on programming language …, 2008 | 641 | 2008 |

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 | 538 | 1992 |

Using partial orders to improve automatic verification methods P Godefroid Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 523 | 1991 |

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 | 466 | 2011 |

A partial approach to model checking P Godefroid, P Wolper Information and Computation 110 (2), 305-326, 1994 | 428 | 1994 |

Learn&fuzz: Machine learning for input fuzzing P Godefroid, H Peleg, R Singh 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 350 | 2017 |

Demand-driven compositional symbolic execution S Anand, P Godefroid, N Tillmann Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 332 | 2008 |

Model checking partial state spaces with 3-valued temporal logics G Bruns, P Godefroid Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999 | 318 | 1999 |

Active property checking P Godefroid, MY Levin, D Molnar US Patent 8,549,486, 2013 | 266 | 2013 |

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 | 255 | 2010 |

VeriWeb: Automatically testing dynamic web sites M Benedikt, J Freire, P Godefroid World Wide Web Conference, 2002 | 255 | 2002 |

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 | 254 | 1996 |

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 | 234 | 2005 |