| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Patrice Godefroid, Michael Y. Levin, David A. Molnar |
SAGE: Whitebox Fuzzing for Security Testing.  |
ACM Queue  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Michael Y. Levin, David A. Molnar |
SAGE: whitebox fuzzing for security testing. |
Commun. ACM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Nir Piterman |
LTL generalized model checking revisited. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Patrice Godefroid |
An abort-aware model of transactional programming. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid |
Higher-order test generation. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Daniel Luchaup |
Automatic partial loop summarization in dynamic test generation. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid |
Tests from Proofs. |
TAP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González |
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Johannes Kinder |
Proving memory safety of floating-point computations by combining static and dynamic program analysis. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
static and dynamic program analysis, program verification |
| 1 | Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali |
Compositional may-must program analysis: unleashing the power of alternation. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
software model checking, abstraction refinement, directed testing |
| 1 | Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser |
FITE: future integrated testing environment. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin |
Precise pointer reasoning for dynamic test generation. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
pointer reasoning, software testing, program verification, automatic test generation |
| 1 | Patrice Godefroid |
Software Model Checking Improving Security of a Billion Computers. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Nir Piterman |
LTL Generalized Model Checking Revisited. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Patrice Godefroid |
An Abort-Aware Model of Transactional Programming. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Adam Kiezun, Michael Y. Levin |
Grammar-based whitebox fuzzing. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
software testing, program verification, grammars, automatic test generation |
| 1 | Patrice Godefroid, Michael Y. Levin, David A. Molnar |
Active property checking. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
security, software testing, symbolic execution |
| 1 | Saswat Anand, Patrice Godefroid, Nikolai Tillmann |
Demand-Driven Compositional Symbolic Execution. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar |
Testing for buffer overflows with length abstraction. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
length abstractions, underapproximation, buffer overflows, testing c programs, directed testing |
| 1 | Patrice Godefroid, Michael Y. Levin, David A. Molnar |
Automated Whitebox Fuzz Testing. |
NDSS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Patrice Godefroid |
Compositional dynamic test generation. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
compositional program analysis, scalability, software testing, program verification, automatic test generation |
| 1 | Arindam Chakrabarti, Patrice Godefroid |
Software partitioning for effective automated unit testing. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
software testing and model checking, interfaces, program verification, compositional analysis |
| 1 | Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis |
Analysis of recursive state machines. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata |
| 1 | Patrice Godefroid |
Software Model Checking: The VeriSoft Approach. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
program verification, software model checking, systematic testing |
| 1 | Patrice Godefroid, Nils Klarlund, Koushik Sen |
DART: directed automated random testing. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
software testing, interfaces, program verification, random testing, automated test generation |
| 1 | Patrice Godefroid |
Generalized Model Checking. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cormac Flanagan, Patrice Godefroid |
Dynamic partial-order reduction for model checking software. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
software model checking, partial-order reduction |
| 1 | Patrice Godefroid (eds.) |
Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings |
SPIN |
2005 |
DBLP BibTeX RDF |
|
| 1 | Patrice Godefroid, Nils Klarlund |
Software Model Checking: Searching for Computations in the Abstract or the Concrete. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Michael Huth |
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Patrice Godefroid |
Symmetry and reduced symmetry in model checking. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
formula decomposition, model checking algorithms and tools, temporal logics, symmetry reductions, State space explosion |
| 1 | Patrice Godefroid, Sarfraz Khurshid |
Exploring very large state spaces using genetic algorithms. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Genetic algorithms, Model checking, Verification, Heuristics, State-space exploration |
| 1 | Glenn Bruns, Patrice Godefroid |
Model Checking with Multi-valued Logics. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid |
Invited Talk: "Model checking" software with VeriSoft. |
PASTE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan |
Three-Valued Abstractions of Games: Uncertainty, but with Precision. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid |
Reasoning about Abstract Open Systems with Generalized Module Checking. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Radha Jagadeesan |
On the Expressiveness of 3-Valued Models. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Sarfraz Khurshid |
Exploring Very Large State Spaces Using Genetic Algorithms. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Radha Jagadeesan |
Automatic Abstraction Using Generalized Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Satish Chandra, Patrice Godefroid, Christopher Palm |
Software model checking in practice: an industrial case study. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Michael Huth, Radha Jagadeesan |
Abstraction-Based Model Checking Using Modal Transition Systems. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Patrice Godefroid, Thomas W. Reps |
Model Checking of Unrestricted Hierarchical State Machines. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Patrice Godefroid |
Symmetry and Reduced Symmetry in Model Checking. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Glenn Bruns, Patrice Godefroid |
Temporal Logic Query Checking. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Glenn Bruns, Patrice Godefroid |
Generalized Model Checking: Reasoning about Partial State Spaces. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li |
Ensuring privacy in presence awareness: an automated verification approach. |
CSCW |
2000 |
DBLP DOI BibTeX RDF |
presence awareness, security, privacy, verification, computer-supported cooperative work, coordination |
| 1 | Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer |
Automated systematic testing for constraint-based interactive services. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
constraint-based languages, model checking, verification, testing, state explosion, state-space reduction, interactive services |
| 1 | Patrice Godefroid, David E. Long |
Symbolic Protocol Verification with Queue BDDs. |
Formal Methods in System Design |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Patrice Godefroid |
Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. |
Formal Methods in System Design |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid |
Exploiting Symmetry when Model-Checking Software. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Glenn Bruns, Patrice Godefroid |
Model Checking Partial State Spaces with 3-Valued Temporal Logics. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan |
Automatically Closing Open Reactive Programs. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
C |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil |
Transferring Formal Methods Technology to Industry. (PDF / PS) |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Patrice Godefroid |
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. |
TACAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid |
Model Checking for Programming Languages using Verisoft. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid |
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper |
The Power of QDDs (Extended Abstract). |
SAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Doron Peled, Mark G. Staskauskas |
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
Formal methods, validation, concurrent programs, reachability analysis, automatic verification, partial-order methods |
| 1 | Patrice Godefroid |
Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem |
|
1996 |
DOI RDF |
|
| 1 | Patrice Godefroid, Doron Peled, Mark G. Staskauskas |
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Patrice Godefroid |
Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Patrice Godefroid |
Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract). |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, David E. Long |
Symbolic Protocol Verification With Queue BDDs. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin |
State-Space Caching Revisited. |
Formal Methods in System Design |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Pierre Wolper |
A Partial Approach to Model Checking |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Pierre Wolper |
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. |
Formal Methods in System Design |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Wolper, Patrice Godefroid |
Partial-Order Methods for Temporal Verification. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Gerard J. Holzmann |
On the Verification of Temporal Properties. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Patrice Godefroid, Didier Pirottin |
Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract). |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin |
Coverage Preserving Reduction Strategies for Reachability Analysis. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin |
State-Space Caching Revisited. |
CAV |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Pierre Wolper |
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Pierre Wolper |
A Partial Approach to Model Checking |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Froduald Kabanza |
An Efficient Reactive Planner for Synthesizing Reactive Plans. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Patrice Godefroid |
Using Partial Orders to Improve Automatic Verification Methods. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")