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

Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem P Godefroid, J van Leeuwen, J Hartmanis, G Goos, P Wolper Springer, 1996 | 1373 | 1996 |

Automated Whitebox Fuzz Testing. P Godefroid, MY Levin, DA Molnar NDSS 8, 151-166, 2008 | 1307 | 2008 |

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

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

SAGE: whitebox fuzzing for security testing P Godefroid, MY Levin, D Molnar Queue 10 (1), 20-27, 2012 | 602 | 2012 |

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

Using partial orders for the efficient verification of deadlock freedom and safety properties P Godefroid, P Wolper International Conference on Computer Aided Verification, 332-342, 1991 | 497 | 1991 |

Grammar-based whitebox fuzzing P Godefroid, A Kiezun, MY Levin Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 476 | 2008 |

Using partial orders to improve automatic verification methods P Godefroid International Conference on Computer Aided Verification, 176-185, 1990 | 472 | 1990 |

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

Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Pasareanu, K Sen, N Tillmann, ... 2011 33rd International Conference on Software Engineering (ICSE), 1066-1071, 2011 | 385 | 2011 |

Model checking partial state spaces with 3-valued temporal logics G Bruns, P Godefroid International Conference on Computer Aided Verification, 274-287, 1999 | 284 | 1999 |

Demand-driven compositional symbolic execution S Anand, P Godefroid, N Tillmann International Conference on Tools and Algorithms for the Construction and …, 2008 | 281 | 2008 |

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

VeriWeb: Automatically testing dynamic web sites M Benedikt, J Freire, P Godefroid In Proceedings of 11th International World Wide Web Conference (WW W’2002, 2002 | 235 | 2002 |

Presence awareness in collaborative systems PI Godefroid, JD Herbsleb, LJ Jagadeesan, D Li US Patent 6,697,840, 2004 | 230 | 2004 |

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

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

Partial-order methods for temporal verification P Wolper, P Godefroid International Conference on Concurrency Theory, 233-246, 1993 | 211 | 1993 |