| 2024 | Onward | (Programs), Proofs and Refutations (and Tests and Mutants). | Alex Groce |
| 2023 | ISSRE | Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. | Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce |
| 2022 | CC | Making no-fuss compiler fuzzing effective. | Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues |
| 2022 | ICSE | Looking for Lacunae in Bitcoin Core's Fuzzing Efforts. | Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues |
| 2021 | ISSRE | Fuzz Testing the Compiled Code in R Packages. | Akhila Chowdary Kolla, Alex Groce, Toby Dylan Hocking |
| 2021 | ISSTA | echidna-parade: a tool for diverse multicore smart contract fuzzing. | Alex Groce, Gustavo Grieco |
| 2021 | OOPSLA | Let a thousand flowers bloom: on the uses of diversity in software testing. | Alex Groce |
| 2021 | QRS | Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis. | Alex Groce, Iftekhar Ahmed, Josselin Feist, Gustavo Grieco, Jiri Gesi, Mehran Meidani, Qihong Chen |
| 2020 | FC | What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)? | Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn |
| 2020 | ISSTA | Echidna: effective, usable, and fast fuzzing for smart contracts. | Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce |
| 2020 | QRS | A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. | Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf |
| 2020 | QRS | Practical Automatic Lightweight Nondeterminism and Flaky Test Detection and Debugging for Python. | Alex Groce, Josie Holmes |
| 2019 | ICSE | Slither: a static analysis framework for smart contracts. | Josselin Feist, Gustavo Grieco, Alex Groce |
| 2019 | ISSRE | Building Resource Adaptations via Test-Based Software Minimization: Application, Challenges, and Opportunities. | Arpit Christi, Alex Groce, Austin Wellman |
| 2019 | QRS | Evaluating Fault Localization for Resource Adaptation via Test-Based Software Modification. | Arpit Christi, Alex Groce, Rahul Gopinath |
| 2018 | ICSE | An extensible, regular-expression-based tool for multi-language mutant generation. | Alex Groce, Josie Holmes, Darko Marinov, August Shi, Lingming Zhang |
| 2018 | ISSRE | Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization. | Arpit Christi, Matthew Lyle Olson, Mohammad Amin Alipour, Alex Groce |
| 2018 | ISSRE | Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing. | Josie Holmes, Alex Groce |
| 2018 | QRS | Target Selection for Test-Based Resource Adaptation. | Arpit Christi, Alex Groce |
| 2017 | ICST | Applying Mutation Analysis on Kernel Test Suites: An Experience Report. | Iftekhar Ahmed, Carlos Jensen, Alex Groce, Paul E. McKenney |
| 2017 | ICST | The Theory of Composite Faults. | Rahul Gopinath, Carlos Jensen, Alex Groce |
| 2017 | ISSTA | One test to rule them all. | Alex Groce, Josie Holmes, Kevin Kellar |
| 2017 | ISSTA | A suite of tools for making effective use of automatically generated tests. | Josie Holmes, Alex Groce |
| 2016 | ICSE | On the limits of mutation reduction strategies. | Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce |
| 2016 | ICSE | Topsy-Turvy: a smarter and faster parallelization of mutation analysis. | Rahul Gopinath, Carlos Jensen, Alex Groce |
| 2016 | ICST | Measuring Effectiveness of Mutant Sets. | Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce |
| 2016 | ISSTA | Generating focused random tests using directed swarm testing. | Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi |
| 2016 | SSBSE | A Method Dependence Relations Guided Genetic Algorithm. | Ali Aburas, Alex Groce |
| 2015 | ISSRE | How hard does mutation analysis have to be, anyway? | Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce |
| 2015 | ISSTA | TSTL: a language and tool for testing (demo). | Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal |
| 2014 | ICDM | Taming a Fuzzer Using Delta Debugging Trails. | Yuanli Pei, Arpit Christi, Xiaoli Z. Fern, Alex Groce, Weng-Keen Wong |
| 2014 | ICSE | Code coverage for suite evaluation by developers. | Rahul Gopinath, Carlos Jensen, Alex Groce |
| 2014 | ICST | Cause Reduction for Quick Testing. | Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr |
| 2014 | ISSRE | Mutations: How Close are they to Real Faults? | Rahul Gopinath, Carlos Jensen, Alex Groce |
| 2014 | ISSTA | MuCheck: an extensible tool for mutation testing of haskell programs. | Duc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce |
| 2014 | ISSTA | Using test case reduction and prioritization to improve symbolic execution. | Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour |
| 2014 | OOPSLA | Coverage and Its Discontents. | Alex Groce, Mohammad Amin Alipour, Rahul Gopinath |
| 2013 | ISSRE | Help, help, i'm being suppressed! The significance of suppressors in software testing. | Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, John Regehr |
| 2013 | ISSTA | Comparing non-adequate test suites using coverage criteria. | Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov |
| 2013 | PLDI | Taming compiler fuzzers. | Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, John Regehr |
| 2012 | ISoLA | Learning-Based Test Programming for Programmers. | Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour |
| 2012 | ISSRE | Lightweight Automated Testing with Adaptation-Based Programming. | Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez |
| 2012 | ISSTA | Extended program invariants: applications in testing and fault localization. | Mohammad Amin Alipour, Alex Groce |
| 2012 | ISSTA | Finding common ground: choose, assert, and assume. | Alex Groce, Martin Erwig |
| 2012 | ISSTA | Swarm testing. | Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr |
| 2010 | ICSE | From scripts to specifications: the evolution of a flight software testing effort. | Alex Groce, Klaus Havelund, Margaret H. Smith |
| 2009 | ISSTA | (Quickly) testing the tester via path coverage. | Alex Groce |
| 2009 | RV | Rule Systems for Runtime Verification: A Short Tutorial. | Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce |
| 2008 | ISSTA | Random testing and model checking: building a common framework for nondeterministic exploration. | Alex Groce, Rajeev Joshi |
| 2008 | VMCAI | Extending Model Checking with Dynamic Analysis. | Alex Groce, Rajeev Joshi |
| 2007 | ICSE | Randomized Differential Testing as a Prelude to Formal Verification. | Alex Groce, Gerard J. Holzmann, Rajeev Joshi |
| 2006 | TACAS | Exploiting Traces in Program Analysis. | Alex Groce, Rajeev Joshi |
| 2004 | CAV | Understanding Counterexamples with explain. | Alex Groce, Daniel Kroening, Flavio Lerda |
| 2004 | ICFEM | Counterexample Guided Abstraction Refinement Via Program Execution. | Daniel Kroening, Alex Groce, Edmund M. Clarke |
| 2004 | TACAS | Error Explanation with Distance Metrics. | Alex Groce |
| 2003 | ICSE | Modular Verification of Software Components in C. | Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith |
| 2002 | CAV | AMC: An Adaptive Model Checker. | Alex Groce, Doron A. Peled, Mihalis Yannakakis |
| 2002 | ISSTA | Model checking Java programs using structural heuristics. | Alex Groce, Willem Visser |
| 2002 | TACAS | Adaptive Model Checking. | Alex Groce, Doron A. Peled, Mihalis Yannakakis |
| 2001 | CAV | Efficient Model Checking Via Bchi Tableau Automata. | Girish Bhat, Rance Cleaveland, Alex Groce |