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

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

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

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

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

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

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

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

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

Using partial orders to improve automatic verification methods P Godefroid Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 551 | 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 | 518 | 2011 |

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

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

Demand-driven compositional symbolic execution S Anand, P Godefroid, N Tillmann Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 358 | 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 | 335 | 1999 |

Active property checking P Godefroid, MY Levin, D Molnar US Patent 8,549,486, 2013 | 284 | 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 | 274 | 2010 |

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

Symbolic verification of communication protocols with infinite state spaces using QDDs B Boigelot, P Godefroid Formal Methods in System Design 14, 237-255, 1999 | 256 | 1999 |

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