Patrice Godefroid

According to our database1, Patrice Godefroid authored at least 91 papers between 1990 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Pythia: Grammar-Based Fuzzing of REST APIs with Coverage-guided Feedback and Learning-based Mutations.
CoRR, 2020

Fuzzing: hack, art, and science.
Commun. ACM, 2020

Differential regression testing for REST APIs.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019
Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances.
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Root causing flaky tests in a large-scale industrial setting.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

RESTler: stateful REST API fuzzing.
Proceedings of the 41st International Conference on Software Engineering, 2019

2018
Combining Model Checking and Testing.
Proceedings of the Handbook of Model Checking., 2018

REST-ler: Automatic Intelligent REST API Fuzzing.
CoRR, 2018

Deep Reinforcement Fuzzing.
Proceedings of the 2018 IEEE Security and Privacy Workshops, 2018

2017
Learn&Fuzz: machine learning for input fuzzing.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A general framework for dynamic stub injection.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Between Testing and Verification: Dynamic Software Model Checking.
Proceedings of the Dependable Software Systems Engineering, 2016

2015
Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

IC-Cut: A Compositional Search Strategy for Dynamic Test Generation.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Checking Beliefs in Dynamic Networks.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014
May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification.
Proceedings of the Software Systems Safety, 2014

Micro execution.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Analysis of Boolean Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Billions and billions of constraints: whitebox fuzz testing in production.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
SAGE: whitebox fuzzing for security testing.
Commun. ACM, 2012

Automated synthesis of symbolic instruction encodings from I/O samples.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Test Generation Using Symbolic Execution.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2011
LTL generalized model checking revisited.
Int. J. Softw. Tools Technol. Transf., 2011

An abort-aware model of transactional programming.
Int. J. Softw. Tools Technol. Transf., 2011

Tests from Proofs.
Proceedings of the Tests and Proofs - 5th International Conference, 2011

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation.
Proceedings of the Static Analysis - 18th International Symposium, 2011

Higher-order test generation.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

From Program to Logic: An Introduction.
Proceedings of the Tools for Practical Software Verification, 2011

Automatic partial loop summarization in dynamic test generation.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Symbolic execution for software testing in practice: preliminary assessment.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Compositional may-must program analysis: unleashing the power of alternation.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Proving memory safety of floating-point computations by combining static and dynamic program analysis.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

FITE - Future Integrated Testing Environment.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009
Software Model Checking Improving Security of a Billion Computers.
Proceedings of the Model Checking Software, 2009

Precise pointer reasoning for dynamic test generation.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

2008
Automating Software Testing Using Program Analysis.
IEEE Softw., 2008

Demand-Driven Compositional Symbolic Execution.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Grammar-based whitebox fuzzing.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Automated Whitebox Fuzz Testing.
Proceedings of the Network and Distributed System Security Symposium, 2008

Testing for buffer overflows with length abstraction.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Active property checking.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

2007
Compositional dynamic test generation.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006
Software partitioning for effective automated unit testing.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005
Analysis of recursive state machines.
ACM Trans. Program. Lang. Syst., 2005

Software Model Checking: The VeriSoft Approach.
Formal Methods Syst. Des., 2005

Generalized Model Checking.
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Dynamic partial-order reduction for model checking software.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

DART: directed automated random testing.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Software Model Checking: Searching for Computations in the Abstract or the Concrete.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004
Symmetry and reduced symmetry in model checking.
ACM Trans. Program. Lang. Syst., 2004

Exploring very large state spaces using genetic algorithms.
Int. J. Softw. Tools Technol. Transf., 2004

Invited Talk: "Model checking" software with VeriSoft.
Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2004

Three-Valued Abstractions of Games: Uncertainty, but with Precision.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Model Checking with Multi-valued Logics.
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003
On the Expressiveness of 3-Valued Models.
Proceedings of the Verification, 2003

Reasoning about Abstract Open Systems with Generalized Module Checking.
Proceedings of the Embedded Software, Third International Conference, 2003

2002
Software model checking in practice: an industrial case study.
Proceedings of the 24th International Conference on Software Engineering, 2002

Automatic Abstraction Using Generalized Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Temporal Logic Query Checking.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

Model Checking of Unrestricted Hierarchical State Machines.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Abstraction-Based Model Checking Using Modal Transition Systems.
Proceedings of the CONCUR 2001, 2001

2000
Automated systematic testing for constraint-based interactive services.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Ensuring privacy in presence awareness: an automated verification approach.
Proceedings of the CSCW 2000, 2000

Generalized Model Checking: Reasoning about Partial State Spaces.
Proceedings of the CONCUR 2000, 2000

1999
Symbolic Protocol Verification with Queue BDDs.
Formal Methods Syst. Des., 1999

Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs.
Formal Methods Syst. Des., 1999

Exploiting Symmetry when Model-Checking Software.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Model Checking Partial State Spaces with 3-Valued Temporal Logics.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998
Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor.
Bell Labs Tech. J., 1998

Transferring Formal Methods Technology to Industry.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Automatically Closing Open Reactive Programs.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft.
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

1997
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

The Power of QDDs (Extended Abstract).
Proceedings of the Static Analysis, 4th International Symposium, 1997

Model Checking for Programming Languages using Verisoft.
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
IEEE Trans. Software Eng., 1996

Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

On the costs and benefits of using partial-order methods for the verification of concurrent systems.
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract).
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

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

1995
State-Space Caching Revisited.
Formal Methods Syst. Des., 1995

1994
A Partial Approach to Model Checking
Inf. Comput., May, 1994

1993
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties.
Formal Methods Syst. Des., 1993

On the Verification of Temporal Properties.
Proceedings of the Protocol Specification, 1993

Partial-Order Methods for Temporal Verification.
Proceedings of the CONCUR '93, 1993

Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract).
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
Coverage Preserving Reduction Strategies for Reachability Analysis.
Proceedings of the Protocol Specification, 1992

1991
An Efficient Reactive Planner for Synthesizing Reactive Plans.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990
Using Partial Orders to Improve Automatic Verification Methods.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990


  Loading...