Patrice Godefroid

114 papers A* 35A 14B 10C 2Misc 4Journal 24Unranked 19

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	What are Weak Links in the npm Supply Chain? ICSE (SEIP) Nusrat Zahan, Thomas Zimmermann, Patrice Godefroid, Brendan Murphy, Chandra Shekhar Maddila, Laurie A. Williams
2021	—	`conf`	Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub. ICSE (SEIP) Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schaefer
2021	J	`jnl`	Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub. CoRR Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schaefer
2021	A*	`conf`	HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs. CCS Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui
2021	J	`jnl`	What are Weak Links in the npm Supply Chain? CoRR Nusrat Zahan, Laurie A. Williams, Thomas Zimmermann, Patrice Godefroid, Brendan Murphy, Chandra Shekhar Maddila
2020	A	`conf`	Checking Security Properties of Cloud Service REST APIs. ICST Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
2020	A	`conf`	Differential regression testing for REST APIs. ISSTA Patrice Godefroid, Daniel Lehmann, Marina Polishchuk
2020	J	`jnl`	Fuzzing: hack, art, and science. Commun. ACM Patrice Godefroid
2020	—	`conf`	Intelligent REST API data fuzzing. ESEC/SIGSOFT FSE Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk
2020	J	`jnl`	Pythia: Grammar-Based Fuzzing of REST APIs with Coverage-guided Feedback and Learning-based Mutations. CoRR Vaggelis Atlidakis, Roxana Geambasu, Patrice Godefroid, Marina Polishchuk, Baishakhi Ray
2020	J	`jnl`	Universal Policies for Software-Defined MDPs. CoRR Daniel Selsam, Jesse Michael Han, Leonardo de Moura, Patrice Godefroid
2019	—	`ch.`	Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances. Computing and Software Science George Candea, Patrice Godefroid
2019	A*	`conf`	RESTler: stateful REST API fuzzing. ICSE Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
2019	A	`conf`	Root causing flaky tests in a large-scale industrial setting. ISSTA Wing Lam, Patrice Godefroid, Suman Nath, Anirudh Santhiar, Suresh Thummalapenta
2018	—	`ch.`	Combining Model Checking and Testing. Handbook of Model Checking Patrice Godefroid, Koushik Sen
2018	—	`conf`	Deep Reinforcement Fuzzing. IEEE Symposium on Security and Privacy Workshops Konstantin Böttinger, Patrice Godefroid, Rishabh Singh
2018	J	`jnl`	Deep Reinforcement Fuzzing. CoRR Konstantin Böttinger, Patrice Godefroid, Rishabh Singh
2018	J	`jnl`	REST-ler: Automatic Intelligent REST API Fuzzing. CoRR Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
2017	A*	`conf`	A general framework for dynamic stub injection. ICSE Maria Christakis, Patrick Emmisberger, Patrice Godefroid, Peter Müller
2017	J	`jnl`	Learn&Fuzz: Machine Learning for Input Fuzzing. CoRR Patrice Godefroid, Hila Peleg, Rishabh Singh
2017	A*	`conf`	Learn&Fuzz: machine learning for input fuzzing. ASE Patrice Godefroid, Hila Peleg, Rishabh Singh
2016	—	`ch.`	Between Testing and Verification: Dynamic Software Model Checking. Dependable Software Systems Engineering Patrice Godefroid
2015	Misc	`conf`	Checking Beliefs in Dynamic Networks. NSDI Nuno P. Lopes, Nikolaj S. Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
2015	—	`conf`	IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. SPIN Maria Christakis, Patrice Godefroid
2015	B	`conf`	Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. VMCAI Maria Christakis, Patrice Godefroid
2014	—	`ch.`	May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification. Software Systems Safety Patrice Godefroid
2014	A*	`conf`	Micro execution. ICSE Patrice Godefroid
2013	A	`conf`	Analysis of Boolean Programs. TACAS Patrice Godefroid, Mihalis Yannakakis
2013	A*	`conf`	Billions and billions of constraints: whitebox fuzz testing in production. ICSE Ella Bounimova, Patrice Godefroid, David A. Molnar
2012	A*	`conf`	Automated synthesis of symbolic instruction encodings from I/O samples. PLDI Patrice Godefroid, Ankur Taly
2012	J	`jnl`	SAGE: Whitebox Fuzzing for Security Testing. ACM Queue Patrice Godefroid, Michael Y. Levin, David A. Molnar
2012	J	`jnl`	SAGE: whitebox fuzzing for security testing. Commun. ACM Patrice Godefroid, Michael Y. Levin, David A. Molnar
2012	—	`conf`	Test Generation Using Symbolic Execution. FSTTCS Patrice Godefroid
2011	J	`jnl`	An abort-aware model of transactional programming. Int. J. Softw. Tools Technol. Transf. Kousha Etessami, Patrice Godefroid
2011	A	`conf`	Automatic partial loop summarization in dynamic test generation. ISSTA Patrice Godefroid, Daniel Luchaup
2011	—	`conf`	From Program to Logic: An Introduction. LASER Summer School Patrice Godefroid, Shuvendu K. Lahiri
2011	A*	`conf`	Higher-order test generation. PLDI Patrice Godefroid
2011	J	`jnl`	LTL generalized model checking revisited. Int. J. Softw. Tools Technol. Transf. Patrice Godefroid, Nir Piterman
2011	B	`conf`	Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. SAS Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González
2011	A*	`conf`	Symbolic execution for software testing in practice: preliminary assessment. ICSE Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser
2011	—	`conf`	Tests from Proofs. TAP@TOOLS Patrice Godefroid
2010	A*	`conf`	Compositional may-must program analysis: unleashing the power of alternation. POPL Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali
2010	—	`conf`	FITE - Future Integrated Testing Environment. Practical Software Testing: Tool Automation and Human Factors Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen
2010	—	`conf`	FITE: future integrated testing environment. FoSER Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser
2010	A	`conf`	Proving memory safety of floating-point computations by combining static and dynamic program analysis. ISSTA Patrice Godefroid, Johannes Kinder
2009	B	`conf`	An Abort-Aware Model of Transactional Programming. VMCAI Kousha Etessami, Patrice Godefroid
2009	B	`conf`	LTL Generalized Model Checking Revisited. VMCAI Patrice Godefroid, Nir Piterman
2009	A	`conf`	Precise pointer reasoning for dynamic test generation. ISSTA Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin
2009	—	`conf`	Software Model Checking Improving Security of a Billion Computers. SPIN Patrice Godefroid
2008	Misc	`conf`	Active property checking. EMSOFT Patrice Godefroid, Michael Y. Levin, David A. Molnar
2008	A*	`conf`	Automated Whitebox Fuzz Testing. NDSS Patrice Godefroid, Michael Y. Levin, David A. Molnar
2008	J	`jnl`	Automating Software Testing Using Program Analysis. IEEE Softw. Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
2008	A	`conf`	Demand-Driven Compositional Symbolic Execution. TACAS Saswat Anand, Patrice Godefroid, Nikolai Tillmann
2008	A*	`conf`	Grammar-based whitebox fuzzing. PLDI Patrice Godefroid, Adam Kiezun, Michael Y. Levin
2008	A	`conf`	Testing for buffer overflows with length abstraction. ISSTA Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar
2007	A*	`conf`	Compositional dynamic test generation. POPL Patrice Godefroid
2006	Misc	`conf`	Software partitioning for effective automated unit testing. EMSOFT Arindam Chakrabarti, Patrice Godefroid
2005	J	`jnl`	Analysis of recursive state machines. ACM Trans. Program. Lang. Syst. Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis
2005	A*	`conf`	DART: directed automated random testing. PLDI Patrice Godefroid, Nils Klarlund, Koushik Sen
2005	A*	`conf`	Dynamic partial-order reduction for model checking software. POPL Cormac Flanagan, Patrice Godefroid
2005	C	`conf`	Generalized Model Checking. TIME Patrice Godefroid
2005	—	`ed.`	Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings SPIN Patrice Godefroid
2005	A*	`conf`	Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. LICS Patrice Godefroid, Michael Huth
2005	B	`conf`	Software Model Checking: Searching for Computations in the Abstract or the Concrete. IFM Patrice Godefroid, Nils Klarlund
2005	J	`jnl`	Software Model Checking: The VeriSoft Approach. Formal Methods Syst. Des. Patrice Godefroid
2004	J	`jnl`	Exploring very large state spaces using genetic algorithms. Int. J. Softw. Tools Technol. Transf. Patrice Godefroid, Sarfraz Khurshid
2004	—	`conf`	Invited Talk: "Model checking" software with VeriSoft. PASTE Patrice Godefroid
2004	A*	`conf`	Model Checking with Multi-valued Logics. ICALP Glenn Bruns, Patrice Godefroid
2004	J	`jnl`	Symmetry and reduced symmetry in model checking. ACM Trans. Program. Lang. Syst. A. Prasad Sistla, Patrice Godefroid
2004	A*	`conf`	Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan
2003	B	`conf`	On the Expressiveness of 3-Valued Models. VMCAI Patrice Godefroid, Radha Jagadeesan
2003	Misc	`conf`	Reasoning about Abstract Open Systems with Generalized Module Checking. EMSOFT Patrice Godefroid
2002	A*	`conf`	Automatic Abstraction Using Generalized Model Checking. CAV Patrice Godefroid, Radha Jagadeesan
2002	A	`conf`	Exploring Very Large State Spaces Using Genetic Algorithms. TACAS Patrice Godefroid, Sarfraz Khurshid
2002	A*	`conf`	Software model checking in practice: an industrial case study. ICSE Satish Chandra, Patrice Godefroid, Christopher Palm
2001	B	`conf`	Abstraction-Based Model Checking Using Modal Transition Systems. CONCUR Patrice Godefroid, Michael Huth, Radha Jagadeesan
2001	A*	`conf`	Model Checking of Unrestricted Hierarchical State Machines. ICALP Michael Benedikt, Patrice Godefroid, Thomas W. Reps
2001	A*	`conf`	Symmetry and Reduced Symmetry in Model Checking. CAV A. Prasad Sistla, Patrice Godefroid
2001	A*	`conf`	Temporal Logic Query Checking. LICS Glenn Bruns, Patrice Godefroid
2000	—	`conf`	Automated systematic testing for constraint-based interactive services. SIGSOFT FSE Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer
2000	A	`conf`	Ensuring privacy in presence awareness: an automated verification approach. CSCW Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li
2000	B	`conf`	Generalized Model Checking: Reasoning about Partial State Spaces. CONCUR Glenn Bruns, Patrice Godefroid
1999	C	`conf`	Exploiting Symmetry when Model-Checking Software. FORTE Patrice Godefroid
1999	A*	`conf`	Model Checking Partial State Spaces with 3-Valued Temporal Logics. CAV Glenn Bruns, Patrice Godefroid
1999	J	`jnl`	Symbolic Protocol Verification with Queue BDDs. Formal Methods Syst. Des. Patrice Godefroid, David E. Long
1999	J	`jnl`	Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. Formal Methods Syst. Des. Bernard Boigelot, Patrice Godefroid
1998	A*	`conf`	Automatically Closing Open Reactive Programs. PLDI Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan
1998	A	`conf`	Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. ISSTA Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan
1998	J	`jnl`	Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor. Bell Labs Tech. J. Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan
1998	—	`conf`	Transferring Formal Methods Technology to Industry. WIFT Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil
1997	A	`conf`	Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. TACAS Bernard Boigelot, Patrice Godefroid
1997	A*	`conf`	Model Checking for Programming Languages using Verisoft. POPL Patrice Godefroid
1997	B	`conf`	The Power of QDDs (Extended Abstract). SAS Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper
1997	A*	`conf`	VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software. CAV Patrice Godefroid
1996	—	`conf`	Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN. FME Bernard Boigelot, Patrice Godefroid
1996	—	`conf`	On the costs and benefits of using partial-order methods for the verification of concurrent systems. Partial Order Methods in Verification Patrice Godefroid
1996	—	`book`	Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem Patrice Godefroid
1996	A*	`conf`	Symbolic Protocol Verification With Queue BDDs. LICS Patrice Godefroid, David E. Long
1996	A*	`conf`	Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract). CAV Bernard Boigelot, Patrice Godefroid
1996	A	`conf`	Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. ISSTA Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas
1996	J	`jnl`	Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. IEEE Trans. Software Eng. Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas
1995	J	`jnl`	State-Space Caching Revisited. Formal Methods Syst. Des. Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin
1994	J	`jnl`	A Partial Approach to Model Checking Inf. Comput. Patrice Godefroid, Pierre Wolper
1993	—	`conf`	On the Verification of Temporal Properties. PSTV Patrice Godefroid, Gerard J. Holzmann
1993	B	`conf`	Partial-Order Methods for Temporal Verification. CONCUR Pierre Wolper, Patrice Godefroid
1993	A*	`conf`	Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract). CAV Patrice Godefroid, Didier Pirottin
1993	J	`jnl`	Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. Formal Methods Syst. Des. Patrice Godefroid, Pierre Wolper
1992	—	`conf`	Coverage Preserving Reduction Strategies for Reachability Analysis. PSTV Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin
1992	A*	`conf`	State-Space Caching Revisited. CAV Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin
1991	A*	`conf`	A Partial Approach to Model Checking LICS Patrice Godefroid, Pierre Wolper
1991	A*	`conf`	An Efficient Reactive Planner for Synthesizing Reactive Plans. AAAI Patrice Godefroid, Froduald Kabanza
1991	A*	`conf`	Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. CAV Patrice Godefroid, Pierre Wolper
1990	A*	`conf`	Using Partial Orders to Improve Automatic Verification Methods. CAV Patrice Godefroid
1990	—	`conf`	Using Partial Orders to Improve Automatic Verification Methods. CAV (DIMACS/AMS volume) Patrice Godefroid