Efficient Model Checking Via Büchi Tableau Automata. - Girish Bhat; Rance Cleaveland; Alex Groce (CAV, 2001)

AMC: An Adaptive Model Checker. - Alex Groce; Doron A. Peled; Mihalis Yannakakis (CAV, 2002)

Model checking Java programs using structural heuristics. - Alex Groce; Willem Visser (ISSTA, 2002)

Heuristic Model Checking for Java Programs. - Alex Groce; Willem Visser (SPIN, 2002)

Predicate Abstraction with Minimum Predicates. - Sagar Chaki; Edmund M. Clarke; Alex Groce; Ofer Strichman (CHARME, 2003)

What Went Wrong: Explaining Counterexamples. - Alex Groce; Willem Visser (SPIN, 2003)

VeriAgent: an Approach to Integrating UML and Formal Verification Tools. - Edjard Mota; Edmund M. Clarke; Alex Groce; Waleska Oliveira; Marcia Falcão; Jorge Y. Kanda (WMF, 2003)

Understanding Counterexamples with explain. - Alex Groce; Daniel Kroening; Flavio Lerda (CAV, 2004)

Counterexample Guided Abstraction Refinement Via Program Execution. - Daniel Kroening; Alex Groce; Edmund M. Clarke (ICFEM, 2004)

Explaining abstract counterexamples. - Sagar Chaki; Alex Groce; Ofer Strichman (SIGSOFT FSE, 2004)

Error Explanation with Distance Metrics. - Alex Groce (TACAS, 2004)

Making the Most of BMC Counterexamples. - Alex Groce; Daniel Kroening (BMC@CAV, 2004)

Efficient Verification of Sequential and Concurrent C Programs. - Sagar Chaki; Edmund M. Clarke; Alex Groce; Joël Ouaknine; Ofer Strichman; Karen Yorav (Formal Methods Syst. Des., 2004)

Heuristics for model checking Java programs. - Alex Groce; Willem Visser (Int. J. Softw. Tools Technol. Transf., 2004)

Modular Verification of Software Components in C. - Sagar Chaki; Edmund M. Clarke; Alex Groce; Somesh Jha; Helmut Veith (IEEE Trans. Software Eng., 2004)

Exploiting Traces in Program Analysis. - Alex Groce; Rajeev Joshi (TACAS, 2006)

Adaptive Model Checking. - Alex Groce; Doron A. Peled; Mihalis Yannakakis (Log. J. IGPL, 2006)

Error explanation with distance metrics. - Alex Groce; Sagar Chaki; Daniel Kroening; Ofer Strichman (Int. J. Softw. Tools Technol. Transf., 2006)

Randomized Differential Testing as a Prelude to Formal Verification. - Alex Groce; Gerard J. Holzmann; Rajeev Joshi (ICSE, 2007)

Verifying C++ with STL containers via predicate abstraction. - Nicolas Blanc; Alex Groce; Daniel Kroening (ASE, 2007)

Random testing and model checking: building a common framework for nondeterministic exploration. - Alex Groce; Rajeev Joshi (WODA, 2008)

Random Test Run Length and Effectiveness. - James H. Andrews; Alex Groce; Melissa Weston; Ru-Gang Xu (ASE, 2008)

Swarm Verification. - Gerard J. Holzmann; Rajeev Joshi; Alex Groce (ASE, 2008)

Automated Testing of Planning Models. - Klaus Havelund; Alex Groce; Gerard J. Holzmann; Rajeev Joshi; Margaret H. Smith (MoChArt, 2008)

Tackling Large Verification Problems with the Swarm Tool. - Gerard J. Holzmann; Rajeev Joshi; Alex Groce (SPIN, 2008)

New Challenges in Model Checking. - Gerard J. Holzmann; Rajeev Joshi; Alex Groce (25 Years of Model Checking, 2008)

Extending Model Checking with Dynamic Analysis. - Alex Groce; Rajeev Joshi (VMCAI, 2008)

Model driven code checking. - Gerard J. Holzmann; Rajeev Joshi; Alex Groce (Autom. Softw. Eng., 2008)

Exploiting traces in static program analysis: better model checking through printf{{ tt printf}}s. - Alex Groce; Rajeev Joshi (Int. J. Softw. Tools Technol. Transf., 2008)

(Quickly) testing the tester via path coverage. - Alex Groce (WODA, 2009)

Rule Systems for Runtime Verification: A Short Tutorial. - Howard Barringer; Klaus Havelund; David E. Rydeheard; Alex Groce (RV, 2009)

An Entry Point for Formal Methods: Specification and Analysis of Event Logs - Howard Barringer; Alex Groce; Klaus Havelund; Margaret H. Smith (FMA, 2009)

From scripts to specifications: the evolution of a flight software testing effort. - Alex Groce; Klaus Havelund; Margaret H. Smith (ICSE (2), 2010)

Formal Analysis of Log Files. - Howard Barringer; Alex Groce; Klaus Havelund; Margaret H. Smith (J. Aerosp. Comput. Inf. Commun., 2010)

Where Are My Intelligent Assistant's Mistakes? A Systematic Testing Approach. - Todd Kulesza; Margaret M. Burnett; Simone Stumpf; Weng-Keen Wong; Shubhomoy Das; Alex Groce; Amber Shinsel; Forrest Bice; Kevin McIntosh (IS-EUD, 2011)

Coverage rewarded: Test input generation via adaptation-based programming. - Alex Groce (ASE, 2011)

Mini-crowdsourcing end-user assessment of intelligent assistants: A cost-benefit study. - Amber Shinsel; Todd Kulesza; Margaret M. Burnett; William Curran; Alex Groce; Simone Stumpf; Weng-Keen Wong (VL/HCC, 2011)

Swarm Verification Techniques. - Gerard J. Holzmann; Rajeev Joshi; Alex Groce (IEEE Trans. Software Eng., 2011)

Learning-Based Test Programming for Programmers. - Alex Groce; Alan Fern; Martin Erwig; Jervis Pinto; Tim Bauer; Mohammad Amin Alipour (ISoLA (1), 2012)

Lightweight Automated Testing with Adaptation-Based Programming. - Alex Groce; Alan Fern; Jervis Pinto; Tim Bauer; Mohammad Amin Alipour; Martin Erwig; Camden Lopez (ISSRE, 2012)

Extended program invariants: applications in testing and fault localization. - Mohammad Amin Alipour; Alex Groce (WODA, 2012)

Finding common ground: choose, assert, and assume. - Alex Groce; Martin Erwig (WODA, 2012)

Swarm testing. - Alex Groce; Chaoqiang Zhang; Eric Eide; Yang Chen 024; John Regehr (ISSTA, 2012)

Help, help, i'm being suppressed! The significance of suppressors in software testing. - Alex Groce; Chaoqiang Zhang; Mohammad Amin Alipour; Eric Eide; Yang Chen 024; John Regehr (ISSRE, 2013)

Comparing non-adequate test suites using coverage criteria. - Milos Gligoric 001; Alex Groce; Chaoqiang Zhang; Rohan Sharma; Mohammad Amin Alipour; Darko Marinov (ISSTA, 2013)

Taming compiler fuzzers. - Yang Chen 024; Alex Groce; Chaoqiang Zhang; Weng-Keen Wong; Xiaoli Z. Fern; Eric Eide; John Regehr (PLDI, 2013)

Taming a Fuzzer Using Delta Debugging Trails. - Yuanli Pei; Arpit Christi; Xiaoli Z. Fern; Alex Groce; Weng-Keen Wong (ICDM Workshops, 2014)

Code coverage for suite evaluation by developers. - Rahul Gopinath; Carlos Jensen; Alex Groce (ICSE, 2014)

Cause Reduction for Quick Testing. - Alex Groce; Mohammad Amin Alipour; Chaoqiang Zhang; Yang Chen 024; John Regehr (ICST, 2014)

Mutations: How Close are they to Real Faults? - Rahul Gopinath; Carlos Jensen; Alex Groce (ISSRE, 2014)

MuCheck: an extensible tool for mutation testing of haskell programs. - Duc Le; Mohammad Amin Alipour; Rahul Gopinath; Alex Groce (ISSTA, 2014)

Using test case reduction and prioritization to improve symbolic execution. - Chaoqiang Zhang; Alex Groce; Mohammad Amin Alipour (ISSTA, 2014)

Coverage and Its Discontents. - Alex Groce; Mohammad Amin Alipour; Rahul Gopinath (Onward!, 2014)

An Improved Memetic Algorithm with Method Dependence Relations (MAMDR). - Ali Aburas; Alex Groce (QSIC, 2014)

Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. - Alex Groce; Klaus Havelund; Gerard J. Holzmann; Rajeev Joshi; Ru-Gang Xu (Ann. Math. Artif. Intell., 2014)

You Are the Only Possible Oracle: Effective Test Selection for End Users of Interactive Machine Learning Systems. - Alex Groce; Todd Kulesza; Chaoqiang Zhang; Shalini Shamasunder; Margaret M. Burnett; Weng-Keen Wong; Simone Stumpf; Shubhomoy Das; Amber Shinsel; Forrest Bice; Kevin McIntosh (IEEE Trans. Software Eng., 2014)

Exploiting abstraction, learning from random simulation, and SVM classification for efficient dynamic prediction of software health problems. - Miroslav N. Velev; Chaoqiang Zhang; Ping Gao 002; Alex David Groce (ISQED, 2015)

How hard does mutation analysis have to be, anyway? - Rahul Gopinath; Amin Alipour; Iftekhar Ahmed 001; Carlos Jensen; Alex Groce (ISSRE, 2015)

TSTL: a language and tool for testing (demo). - Alex Groce; Jervis Pinto; Pooria Azimi; Pranjal Mittal (ISSTA, 2015)

How Verified is My Code? Falsification-Driven Verification (T). - Alex Groce; Iftekhar Ahmed 001; Carlos Jensen; Paul E. McKenney (ASE, 2015)

A Little Language for Testing. - Alex Groce; Jervis Pinto (NFM, 2015)

Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. - Milos Gligoric 001; Alex Groce; Chaoqiang Zhang; Rohan Sharma; Mohammad Amin Alipour; Darko Marinov (ACM Trans. Softw. Eng. Methodol., 2015)

On the limits of mutation reduction strategies. - Rahul Gopinath; Mohammad Amin Alipour; Iftekhar Ahmed 001; Carlos Jensen; Alex Groce (ICSE, 2016)

Topsy-Turvy: a smarter and faster parallelization of mutation analysis. - Rahul Gopinath; Carlos Jensen; Alex Groce (ICSE (Companion Volume), 2016)

Measuring Effectiveness of Mutant Sets. - Rahul Gopinath; Amin Alipour; Iftekhar Ahmed 001; Carlos Jensen; Alex Groce (ICST Workshops, 2016)

Generating focused random tests using directed swarm testing. - Mohammad Amin Alipour; Alex Groce; Rahul Gopinath; Arpit Christi (ISSTA, 2016)

Evaluating non-adequate test-case reduction. - Mohammad Amin Alipour; August Shi; Rahul Gopinath; Darko Marinov; Alex Groce (ASE, 2016)

Can testedness be effectively measured? - Iftekhar Ahmed 001; Rahul Gopinath; Caius Brindescu; Alex Groce; Carlos Jensen (SIGSOFT FSE, 2016)

Mitigating (and exploiting) test reduction slippage. - Josie Holmes; Alex Groce; Mohammad Amin Alipour (A-TEST@SIGSOFT FSE, 2016)

A Method Dependence Relations Guided Genetic Algorithm. - Ali Aburas; Alex Groce (SSBSE, 2016)

Bounded Model Checking and Feature Omission Diversity. - Mohammad Amin Alipour; Alex Groce (CoRR, 2016)

Data Poisoning: Lightweight Soft Fault Injection for Python. - Mohammad Amin Alipour; Alex Groce (CoRR, 2016)

Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery. - Mohammad Amin Alipour; Alex Groce; Chaoqiang Zhang; Anahita Sanadaji; Gokul Caushik (CoRR, 2016)

Cause reduction: delta debugging, even without bugs. - Alex Groce; Mohammad Amin Alipour; Chaoqiang Zhang; Yang Chen 024; John Regehr (Softw. Test. Verification Reliab., 2016)

Applying Mutation Analysis on Kernel Test Suites: An Experience Report. - Iftekhar Ahmed 001; Carlos Jensen; Alex Groce; Paul E. McKenney (ICST Workshops, 2017)

The Theory of Composite Faults. - Rahul Gopinath; Carlos Jensen; Alex Groce (ICST, 2017)

One test to rule them all. - Alex Groce; Josie Holmes; Kevin Kellar (ISSTA, 2017)

A suite of tools for making effective use of automatically generated tests. - Josie Holmes; Alex Groce (ISSTA, 2017)

Resource Adaptation via Test-Based Software Minimization. - Arpit Christi; Alex Groce; Rahul Gopinath (SASO, 2017)

Provenance and Pseudo-Provenance for Seeded Learning-Based Automated Test Generation. - Alex Groce; Josie Holmes (CoRR, 2017)

Does choice of mutation tool matter? - Rahul Gopinath; Iftekhar Ahmed 001; Mohammad Amin Alipour; Carlos Jensen; Alex Groce (Softw. Qual. J., 2017)

Mutation Reduction Strategies Considered Harmful. - Rahul Gopinath; Iftekhar Ahmed 001; Mohammad Amin Alipour; Carlos Jensen; Alex Groce (IEEE Trans. Reliab., 2017)

An extensible, regular-expression-based tool for multi-language mutant generation. - Alex Groce; Josie Holmes; Darko Marinov; August Shi; Lingming Zhang 001 (ICSE (Companion Volume), 2018)

Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization. - Arpit Christi; Matthew Lyle Olson; Mohammad Amin Alipour; Alex Groce (ISSRE Workshops, 2018)

Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing. - Josie Holmes; Alex Groce (ISSRE, 2018)

Target Selection for Test-Based Resource Adaptation. - Arpit Christi; Alex Groce (QRS, 2018)

Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle. - Peter Goodman; Gustavo Grieco; Alex Groce (SecDev, 2018)

How verified (or tested) is my code? Falsification-driven verification and testing. - Alex Groce; Iftekhar Ahmed 001; Carlos Jensen; Paul E. McKenney; Josie Holmes (Autom. Softw. Eng., 2018)

TSTL: the template scripting testing language. - Josie Holmes; Alex Groce; Jervis Pinto; Pranjal Mittal; Pooria Azimi; Kevin Kellar; James O'Brien (Int. J. Softw. Tools Technol. Transf., 2018)

Slither: a static analysis framework for smart contracts. - Josselin Feist; Gustavo Grieco; Alex Groce (WETSEB@ICSE, 2019)

Building Resource Adaptations via Test-Based Software Minimization: Application, Challenges, and Opportunities. - Arpit Christi; Alex Groce; Austin Wellman (ISSRE Workshops, 2019)

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. - Mark Mossberg; Felipe Manzano; Eric Hennenfent; Alex Groce; Gustavo Grieco; Josselin Feist; Trent Brunson; Artem Dinaburg (ASE, 2019)

Evaluating Fault Localization for Resource Adaptation via Test-Based Software Modification. - Arpit Christi; Alex Groce; Rahul Gopinath (QRS, 2019)

What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)? - Alex Groce; Josselin Feist; Gustavo Grieco; Michael Colburn (Financial Cryptography, 2020)

Echidna: effective, usable, and fast fuzzing for smart contracts. - Gustavo Grieco; Will Song; Artur Cygan; Josselin Feist; Alex Groce (ISSTA, 2020)

A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. - Miroslav Gavrilov; Kyle Dewey; Alex Groce; Davina Zamanzadeh; Ben Hardekopf (QRS, 2020)

Practical Automatic Lightweight Nondeterminism and Flaky Test Detection and Debugging for Python. - Alex Groce; Josie Holmes (QRS, 2020)

Passages. - Alex Groce (ACM SIGSOFT Softw. Eng. Notes, 2020)

Using mutants to help developers distinguish and debug (compiler) faults. - Josie Holmes; Alex Groce (Softw. Test. Verification Reliab., 2020)

Using Relative Lines of Code to Guide Automated Test Generation for Python. - Josie Holmes; Iftekhar Ahmed 001; Caius Brindescu; Rahul Gopinath; He Zhang; Alex Groce (ACM Trans. Softw. Eng. Methodol., 2020)

Fuzz Testing the Compiled Code in R Packages. - Akhila Chowdary Kolla; Alex Groce; Toby Dylan Hocking (ISSRE, 2021)

echidna-parade: a tool for diverse multicore smart contract fuzzing. - Alex Groce; Gustavo Grieco (ISSTA, 2021)

SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. - Jaeseung Choi 002; Doyeon Kim; Soomin Kim 002; Gustavo Grieco; Alex Groce; Sang Kil Cha (ASE, 2021)

Let a thousand flowers bloom: on the uses of diversity in software testing. - Alex Groce (Onward!, 2021)

Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis. - Alex Groce; Iftekhar Ahmed 001; Josselin Feist; Gustavo Grieco; Jiri Gesi; Mehran Meidani; Qihong Chen (QRS, 2021)

Making no-fuss compiler fuzzing effective. - Alex Groce; Rijnard van Tonder; Goutamkumar Tulajappa Kalburgi; Claire Le Goues (CC, 2022)

Looking for Lacunae in Bitcoin Core's Fuzzing Efforts. - Alex Groce; Kush Jain; Rijnard van Tonder; Goutamkumar Tulajappa Kalburgi; Claire Le Goues (ICSE (SEIP), 2022)

Mutation Analysis: Answering the Fuzzing Challenge. - Rahul Gopinath; Philipp Görz; Alex Groce (CoRR, 2022)

Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. - Kush Jain; Goutamkumar Tulajappa Kalburgi; Claire Le Goues; Alex Groce (ISSRE, 2023)

Contextual Predictive Mutation Testing. - Kush Jain; Uri Alon 002; Alex Groce; Claire Le Goues (ESEC/SIGSOFT FSE, 2023)

(Programs), Proofs and Refutations (and Tests and Mutants). - Alex Groce (Onward!, 2024)

Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. - Sourav Deb; Kush Jain; Rijnard van Tonder; Claire Le Goues; Alex Groce (Proc. ACM Softw. Eng., 2024)