Patrice Godefroid

Ella Bounimova, Patrice Godefroid, David A. Molnar: Billions and billions of constraints: whitebox fuzz testing in production. ICSE 2013: 122-131

Patrice Godefroid, Mihalis Yannakakis: Analysis of Boolean Programs. TACAS 2013: 214-229

Patrice Godefroid, Michael Y. Levin, David A. Molnar: SAGE: whitebox fuzzing for security testing. Commun. ACM 55(3): 40-44 (2012)

Patrice Godefroid, Michael Y. Levin, David A. Molnar: SAGE: Whitebox Fuzzing for Security Testing. ACM Queue 10(1): 20 (2012)

Patrice Godefroid: Test Generation Using Symbolic Execution. FSTTCS 2012: 24-33

Patrice Godefroid, Ankur Taly: Automated synthesis of symbolic instruction encodings from I/O samples. PLDI 2012: 441-452

Kousha Etessami, Patrice Godefroid: An abort-aware model of transactional programming. STTT 13(6): 537-551 (2011)

Patrice Godefroid, Nir Piterman: LTL generalized model checking revisited. STTT 13(6): 571-584 (2011)

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser: Symbolic execution for software testing in practice: preliminary assessment. ICSE 2011: 1066-1071

Patrice Godefroid, Daniel Luchaup: Automatic partial loop summarization in dynamic test generation. ISSTA 2011: 23-33

Patrice Godefroid: Higher-order test generation. PLDI 2011: 258-269

Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González: Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. SAS 2011: 112-128

Patrice Godefroid: Tests from Proofs. TAP 2011: 14

Patrice Godefroid, Johannes Kinder: Proving memory safety of floating-point computations by combining static and dynamic program analysis. ISSTA 2010: 1-12

Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali: Compositional may-must program analysis: unleashing the power of alternation. POPL 2010: 43-56

Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser: FITE: future integrated testing environment. FoSER 2010: 401-406

Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin: Precise pointer reasoning for dynamic test generation. ISSTA 2009: 129-140

Patrice Godefroid: Software Model Checking Improving Security of a Billion Computers. SPIN 2009: 1

Kousha Etessami, Patrice Godefroid: An Abort-Aware Model of Transactional Programming. VMCAI 2009: 59-73

Patrice Godefroid, Nir Piterman: LTL Generalized Model Checking Revisited. VMCAI 2009: 89-104

Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin: Automating Software Testing Using Program Analysis. IEEE Software 25(5): 30-37 (2008)

Patrice Godefroid, Michael Y. Levin, David A. Molnar: Active property checking. EMSOFT 2008: 207-216

Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar: Testing for buffer overflows with length abstraction. ISSTA 2008: 27-38

Patrice Godefroid, Michael Y. Levin, David A. Molnar: Automated Whitebox Fuzz Testing. NDSS 2008

Patrice Godefroid, Adam Kiezun, Michael Y. Levin: Grammar-based whitebox fuzzing. PLDI 2008: 206-215

Saswat Anand, Patrice Godefroid, Nikolai Tillmann: Demand-Driven Compositional Symbolic Execution. TACAS 2008: 367-381

Patrice Godefroid: Compositional dynamic test generation. POPL 2007: 47-54

Arindam Chakrabarti, Patrice Godefroid: Software partitioning for effective automated unit testing. EMSOFT 2006: 262-271

Patrice Godefroid: Software Model Checking: The VeriSoft Approach. Formal Methods in System Design 26(2): 77-101 (2005)

Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis: Analysis of recursive state machines. ACM Trans. Program. Lang. Syst. 27(4): 786-818 (2005)

Patrice Godefroid, Nils Klarlund: Software Model Checking: Searching for Computations in the Abstract or the Concrete. IFM 2005: 20-32

Patrice Godefroid, Michael Huth: Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. LICS 2005: 158-167

Patrice Godefroid, Nils Klarlund, Koushik Sen: DART: directed automated random testing. PLDI 2005: 213-223

Cormac Flanagan, Patrice Godefroid: Dynamic partial-order reduction for model checking software. POPL 2005: 110-121

Patrice Godefroid: Generalized Model Checking. TIME 2005: 3

Patrice Godefroid (Ed.): Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings. Lecture Notes in Computer Science 3639, Springer 2005, isbn 3-540-28195-9

Patrice Godefroid, Sarfraz Khurshid: Exploring very large state spaces using genetic algorithms. STTT 6(2): 117-127 (2004)

A. Prasad Sistla, Patrice Godefroid: Symmetry and reduced symmetry in model checking. ACM Trans. Program. Lang. Syst. 26(4): 702-734 (2004)

Glenn Bruns, Patrice Godefroid: Model Checking with Multi-valued Logics. ICALP 2004: 281-293

Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan: Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS 2004: 170-179

Patrice Godefroid: Invited Talk: "Model checking" software with VeriSoft. PASTE 2004: 36

Patrice Godefroid: Reasoning about Abstract Open Systems with Generalized Module Checking. EMSOFT 2003: 223-240

Patrice Godefroid, Radha Jagadeesan: On the Expressiveness of 3-Valued Models. VMCAI 2003: 206-222

Patrice Godefroid, Radha Jagadeesan: Automatic Abstraction Using Generalized Model Checking. CAV 2002: 137-150

Satish Chandra, Patrice Godefroid, Christopher Palm: Software model checking in practice: an industrial case study. ICSE 2002: 431-441

Patrice Godefroid, Sarfraz Khurshid: Exploring Very Large State Spaces Using Genetic Algorithms. TACAS 2002: 266-280

A. Prasad Sistla, Patrice Godefroid: Symmetry and Reduced Symmetry in Model Checking. CAV 2001: 91-103

Patrice Godefroid, Michael Huth, Radha Jagadeesan: Abstraction-Based Model Checking Using Modal Transition Systems. CONCUR 2001: 426-440

Michael Benedikt, Patrice Godefroid, Thomas W. Reps: Model Checking of Unrestricted Hierarchical State Machines. ICALP 2001: 652-666

Glenn Bruns, Patrice Godefroid: Temporal Logic Query Checking. LICS 2001: 409-417

Glenn Bruns, Patrice Godefroid: Generalized Model Checking: Reasoning about Partial State Spaces. CONCUR 2000: 168-182

Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li: Ensuring privacy in presence awareness: an automated verification approach. CSCW 2000: 59-68

Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer: Automated systematic testing for constraint-based interactive services. SIGSOFT FSE 2000: 40-49

Bernard Boigelot, Patrice Godefroid: Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. Formal Methods in System Design 14(3): 237-255 (1999)

Patrice Godefroid, David E. Long: Symbolic Protocol Verification with Queue BDDs. Formal Methods in System Design 14(3): 257-271 (1999)

Glenn Bruns, Patrice Godefroid: Model Checking Partial State Spaces with 3-Valued Temporal Logics. CAV 1999: 274-287

Patrice Godefroid: Exploiting Symmetry when Model-Checking Software. FORTE 1999: 257-275

Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan: Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. ISSTA 1998: 124-133

Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan: Automatically Closing Open Reactive Programs. PLDI 1998: 345-357

Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil: Transferring Formal Methods Technology to Industry. WIFT 1998: 128-

Patrice Godefroid: VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software. CAV 1997: 476-479

Patrice Godefroid: Model Checking for Programming Languages using Verisoft. POPL 1997: 174-186

Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper: The Power of QDDs (Extended Abstract). SAS 1997: 172-186

Bernard Boigelot, Patrice Godefroid: Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. TACAS 1997: 321-333

Patrice Godefroid: Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem. Lecture Notes in Computer Science 1032, Springer 1996, isbn 3-540-60761-7

Patrice Godefroid, Doron Peled, Mark G. Staskauskas: Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. IEEE Trans. Software Eng. 22(7): 496-507 (1996)

Bernard Boigelot, Patrice Godefroid: Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract). CAV 1996: 1-12

Bernard Boigelot, Patrice Godefroid: Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN. FME 1996: 465-478

Patrice Godefroid, Doron Peled, Mark G. Staskauskas: Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. ISSTA 1996: 261-269

Patrice Godefroid, David E. Long: Symbolic Protocol Verification With Queue BDDs. LICS 1996: 198-206

Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin: State-Space Caching Revisited. Formal Methods in System Design 7(3): 227-241 (1995)

Patrice Godefroid, Pierre Wolper: A Partial Approach to Model Checking. Inf. Comput. 110(2): 305-326 (1994)

Patrice Godefroid, Pierre Wolper: Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. Formal Methods in System Design 2(2): 149-164 (1993)

Patrice Godefroid, Didier Pirottin: Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract). CAV 1993: 438-449

Pierre Wolper, Patrice Godefroid: Partial-Order Methods for Temporal Verification. CONCUR 1993: 233-246

Patrice Godefroid, Gerard J. Holzmann: On the Verification of Temporal Properties. PSTV 1993: 109-124

Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin: State-Space Caching Revisited. CAV 1992: 178-191

Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin: Coverage Preserving Reduction Strategies for Reachability Analysis. PSTV 1992: 349-363

Patrice Godefroid, Froduald Kabanza: An Efficient Reactive Planner for Synthesizing Reactive Plans. AAAI 1991: 640-645

Patrice Godefroid, Pierre Wolper: Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. CAV 1991: 332-342

Patrice Godefroid, Pierre Wolper: A Partial Approach to Model Checking. LICS 1991: 406-415

Patrice Godefroid: Using Partial Orders to Improve Automatic Verification Methods. CAV 1990: 176-185