Patrice Godefroid
#160,025
Most Influential Person Now
Patrice Godefroid's AcademicInfluence.com Rankings
Patrice Godefroidcomputer-science Degrees
Computer Science
#9107
World Rank
#9570
Historical Rank
Software Engineering
#240
World Rank
#244
Historical Rank
Database
#6099
World Rank
#6324
Historical Rank
Download Badge
Computer Science
Patrice Godefroid's Degrees
- PhD Computer Science Stanford University
- Masters Computer Science Stanford University
- Bachelors Computer Science Université catholique de Louvain
Similar Degrees You Can Earn
Why Is Patrice Godefroid Influential?
(Suggest an Edit or Addition)Patrice Godefroid's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Automated Whitebox Fuzz Testing (2008) (1202)
- Partial-Order Methods for the Verification of Concurrent Systems (1996) (1165)
- Model checking for programming languages using VeriSoft (1997) (902)
- Dynamic partial-order reduction for model checking software (2005) (700)
- SAGE: Whitebox Fuzzing for Security Testing (2012) (642)
- Compositional dynamic test generation (2007) (497)
- Grammar-based whitebox fuzzing (2008) (489)
- Using Partial Orders to Improve Automatic Verification Methods (1990) (413)
- Using partial orders for the efficient verification of deadlock freedom and safety properties (1991) (394)
- Symbolic execution for software testing in practice: preliminary assessment (2011) (332)
- A partial approach to model checking (1991) (326)
- Learn&Fuzz: Machine learning for input fuzzing (2017) (287)
- Analysis of recursive state machines (2001) (265)
- Demand-Driven Compositional Symbolic Execution (2008) (238)
- Compositional may-must program analysis: unleashing the power of alternation (2010) (213)
- VeriWeb: Automatically Testing Dynamic Web Sites (2002) (200)
- Model Checking Partial State Spaces with 3-Valued Temporal Logics (1999) (198)
- Software Model Checking: The VeriSoft Approach (2005) (184)
- Abstraction-Based Model Checking Using Modal Transition Systems (2001) (181)
- Partial-Order Methods for Temporal Verification (1993) (174)
- Checking Beliefs in Dynamic Networks (2015) (169)
- Exploring very large state spaces using genetic algorithms (2004) (168)
- Billions and billions of constraints: Whitebox fuzz testing in production (2013) (165)
- State-space caching revisited (1992) (165)
- Generalized Model Checking: Reasoning about Partial State Spaces (2000) (161)
- Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs (1999) (153)
- Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract) (1993) (148)
- Automating Software Testing Using Program Analysis (2008) (139)
- Coverage Preserving Reduction Strategies for Reachability Analysis (1992) (133)
- Concurrency at Microsoft – An Exploratory Survey (2008) (113)
- Automatic partial loop summarization in dynamic test generation (2011) (109)
- The Power of QDDs (1997) (96)
- Testing for buffer overflows with length abstraction (2008) (90)
- Random testing for security: blackbox vs. whitebox fuzzing (2007) (89)
- Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract) (1996) (86)
- On the Expressiveness of 3-Valued Models (2002) (81)
- The Power of QDDs (Extended Abstract) (1997) (79)
- Root causing flaky tests in a large-scale industrial setting (2019) (79)
- Using partial-order methods in the formal validation of industrial concurrent programs (1996) (78)
- Deep Reinforcement Fuzzing (2018) (77)
- Software model checking in practice: an industrial case study (2002) (77)
- Automatic Abstraction Using Generalized Model Checking (2002) (76)
- VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software (1997) (75)
- Active property checking (2008) (74)
- Precise pointer reasoning for dynamic test generation (2009) (74)
- Model Checking with Multi-valued Logics (2004) (74)
- Automated synthesis of symbolic instruction encodings from I/O samples (2012) (72)
- Model Checking of Unrestricted Hierarchical State Machines (2001) (70)
- Temporal logic query checking (2001) (66)
- Three-valued abstractions of games: uncertainty, but with precision (2004) (66)
- Symmetry and reduced symmetry in model checking (2001) (61)
- Automatically closing open reactive programs (1998) (60)
- Ensuring privacy in presence awareness: an automated verification approach (2000) (58)
- Higher-order test generation (2011) (56)
- SAGE (2012) (55)
- An Efficient Reactive Planner for Synthesizing Reactive Plans (1991) (54)
- Fuzzing: hack, art, and science (2020) (52)
- Model checking without a model: an analysis of the heart-beat monitor of a telephone switch using VeriSoft (1998) (51)
- Micro execution (2014) (50)
- On the Verification of Temporal Properties (1993) (48)
- Partial-order Methods for the Veriication of Concurrent Systems an Approach to the State-explosion Problem Th Ese Pr Esent Ee Par (1995) (43)
- Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (2011) (42)
- Symbolic Protocol Verification with Queue BDDs (1996) (41)
- Proving memory safety of floating-point computations by combining static and dynamic program analysis (2010) (37)
- Model checking vs. generalized model checking: semantic minimizations for temporal logics (2005) (36)
- Software partitioning for effective automated unit testing (2006) (35)
- Ensuring Privacy in Presence Awareness Systems: An Automated Verification Approach (2000) (35)
- On the costs and benefits of using partial-order methods for the verification of concurrent systems (1996) (34)
- Exploiting Symmetry when Model-Checking Software (1999) (28)
- LTL generalized model checking revisited (2008) (27)
- What are Weak Links in the npm Supply Chain? (2021) (27)
- Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN (1996) (26)
- Differential regression testing for REST APIs (2020) (26)
- Software Model Checking: Searching for Computations in the Abstract or the Concrete (2005) (26)
- Test Generation Using Symbolic Execution (2012) (25)
- Combining Model Checking and Testing (2018) (25)
- Checking Security Properties of Cloud Service REST APIs (2020) (24)
- Systematic software testing using VeriSoft — An analysis of the 4ESS™ heart-beat monitor (1998) (22)
- Intelligent REST API data fuzzing (2020) (22)
- Pythia: Grammar-Based Fuzzing of REST APIs with Coverage-guided Feedback and Learning-based Mutations (2020) (21)
- Reasoning about Abstract Open Systems with Generalized Module Checking (2003) (20)
- Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs (1997) (18)
- Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing (2015) (18)
- IC-Cut: A Compositional Search Strategy for Dynamic Test Generation (2015) (18)
- Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances (2019) (17)
- Fuzzing (2020) (16)
- Analysis of Boolean Programs (2013) (15)
- On the costs and benefits of using partial-order methods for the verification of concurrent systems (invited paper) (1997) (15)
- The ULg Partial-Order Package for SPIN (2002) (12)
- Network Verification in the Light of Program Verification (2013) (12)
- Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub (2021) (12)
- Software Model Checking Improving Security of a Billion Computers (2009) (11)
- REST-ler: Automatic Intelligent REST API Fuzzing (2018) (10)
- FITE: future integrated testing environment (2010) (10)
- From Program to Logic: An Introduction (2011) (9)
- A General Framework for Dynamic Stub Injection (2017) (9)
- Automated systematic testing for constraint-based interactive services (2000) (8)
- Fuzzing in The Cloud (Position Statement) (2010) (8)
- Exploiting Symmetry When Model-Checking Software (Extended Abstract) (1999) (5)
- Between Testing and Verification: Dynamic Software Model Checking (2016) (5)
- Verification of safety properties (1996) (5)
- Compositional Dynamic Test Generation (Extended Abstract) (2007) (5)
- Incremental Compositional Dynamic Test Generation (2010) (5)
- VeriWeb: A Platform for Automating Web Site Testing (2002) (4)
- Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (2005) (4)
- Universal Policies for Software-Defined MDPs (2020) (3)
- HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs (2021) (3)
- Transferring formal methods technology to industry (1998) (2)
- Generalized model checking (2005) (1)
- May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification (2014) (1)
- Temporal Logic Query Checking (Extended Abstract) (2001) (1)
- An abort-aware model of transactional programming (2008) (1)
- Between Testing and Verification : Software Model Checking via Systematic Testing (2015) (1)
- Invited Talk: "Model checking" software with VeriSoft (2004) (1)
- Automatic Code-Driven Test Generation (2012) (0)
- An Abort-Aware Model of Transactional Programming ( Position Paper ) (2008) (0)
- Proceedings of the 12th international conference on Model Checking Software (2005) (0)
- Plenary keynote address Thursday (2015) (0)
- The Power of QDDs ( DRAFT ) (1997) (0)
- Concurrent systems and semantics (1996) (0)
- A Model of Transactional Programming (2008) (0)
- Using partial orders to tackle state explosion (1996) (0)
- IEEE software: Automating software testing using program analysis (2009) (0)
- Tests from Proofs (2011) (0)
- Automatic Synthesis of Speci cations from theDynamic Observation of Reactive (2010) (0)
This paper list is powered by the following services:
