Alex Groce

171 papers A* 16A 23B 5C 6Journal 82Unranked 37
YearRankTypeTitle / Venue / Authors
2026 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2025 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2025 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2025 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2024 — conf
(Programs), Proofs and Refutations (and Tests and Mutants).
Onward!
Alex Groce
2024 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2024 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2024 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2024 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2024 J jnl
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation.
Proc. ACM Softw. Eng.
Sourav Deb, Kush Jain, Rijnard van Tonder, Claire Le Goues, Alex Groce
2023 — conf
Contextual Predictive Mutation Testing.
ESEC/SIGSOFT FSE
Kush Jain, Uri Alon, Alex Groce, Claire Le Goues
2023 J jnl
Contextual Predictive Mutation Testing.
CoRR
Kush Jain, Uri Alon, Alex Groce, Claire Le Goues
2023 A conf
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts.
ISSRE
Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce
2023 J jnl
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts.
CoRR
Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce
2023 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2023 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2023 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2023 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2022 — conf
Looking for Lacunae in Bitcoin Core's Fuzzing Efforts.
ICSE (SEIP)
Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues
2022 B conf
Making no-fuss compiler fuzzing effective.
CC
Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues
2022 J jnl
Mutation Analysis: Answering the Fuzzing Challenge.
CoRR
Rahul Gopinath, Philipp Görz, Alex Groce
2022 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2022 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2022 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2022 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2021 C conf
Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis.
QRS
Alex Groce, Iftekhar Ahmed, Josselin Feist, Gustavo Grieco, Jiri Gesi, Mehran Meidani, Qihong Chen
2021 A conf
Fuzz Testing the Compiled Code in R Packages.
ISSRE
Akhila Chowdary Kolla, Alex Groce, Toby Dylan Hocking
2021 — conf
Let a thousand flowers bloom: on the uses of diversity in software testing.
Onward!
Alex Groce
2021 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2021 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2021 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2021 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2021 A* conf
SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses.
ASE
Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, Sang Kil Cha
2021 J jnl
Using Relative Lines of Code to Guide Automated Test Generation for Python.
CoRR
Josie Holmes, Iftekhar Ahmed, Caius Brindescu, Rahul Gopinath, He Zhang, Alex Groce
2021 A conf
echidna-parade: a tool for diverse multicore smart contract fuzzing.
ISSTA
Alex Groce, Gustavo Grieco
2020 C conf
A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study.
QRS
Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf
2020 A conf
Echidna: effective, usable, and fast fuzzing for smart contracts.
ISSTA
Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce
2020 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2020 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2020 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2020 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2020 C conf
Practical Automatic Lightweight Nondeterminism and Flaky Test Detection and Debugging for Python.
QRS
Alex Groce, Josie Holmes
2020 J jnl
Using Relative Lines of Code to Guide Automated Test Generation for Python.
ACM Trans. Softw. Eng. Methodol.
Josie Holmes, Iftekhar Ahmed, Caius Brindescu, Rahul Gopinath, He Zhang, Alex Groce
2020 J jnl
Using mutants to help developers distinguish and debug (compiler) faults.
Softw. Test. Verification Reliab.
Josie Holmes, Alex Groce
2020 — conf
What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?
Financial Cryptography
Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn
2019 — conf
Building Resource Adaptations via Test-Based Software Minimization: Application, Challenges, and Opportunities.
ISSRE Workshops
Arpit Christi, Alex Groce, Austin Wellman
2019 C conf
Evaluating Fault Localization for Resource Adaptation via Test-Based Software Modification.
QRS
Arpit Christi, Alex Groce, Rahul Gopinath
2019 A* conf
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts.
ASE
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg
2019 J jnl
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts.
CoRR
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg
2019 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2019 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2019 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2019 J jnl
Slither: A Static Analysis Framework For Smart Contracts.
CoRR
Josselin Feist, Gustavo Grieco, Alex Groce
2019 — conf
Slither: a static analysis framework for smart contracts.
WETSEB@ICSE
Josselin Feist, Gustavo Grieco, Alex Groce
2019 J jnl
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?
CoRR
Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn
2018 — conf
An extensible, regular-expression-based tool for multi-language mutant generation.
ICSE (Companion Volume)
Alex Groce, Josie Holmes, Darko Marinov, August Shi, Lingming Zhang
2018 A conf
Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing.
ISSRE
Josie Holmes, Alex Groce
2018 J jnl
How verified (or tested) is my code? Falsification-driven verification and testing.
Autom. Softw. Eng.
Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney, Josie Holmes
2018 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2018 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2018 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2018 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2018 — conf
Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization.
ISSRE Workshops
Arpit Christi, Matthew Lyle Olson, Mohammad Amin Alipour, Alex Groce
2018 J jnl
TSTL: the template scripting testing language.
Int. J. Softw. Tools Technol. Transf.
Josie Holmes, Alex Groce, Jervis Pinto, Pranjal Mittal, Pooria Azimi, Kevin Kellar, James O'Brien
2018 C conf
Target Selection for Test-Based Resource Adaptation.
QRS
Arpit Christi, Alex Groce
2018 — conf
Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle.
SecDev
Peter Goodman, Gustavo Grieco, Alex Groce
2017 A conf
A suite of tools for making effective use of automatically generated tests.
ISSTA
Josie Holmes, Alex Groce
2017 — conf
Applying Mutation Analysis on Kernel Test Suites: An Experience Report.
ICST Workshops
Iftekhar Ahmed, Carlos Jensen, Alex Groce, Paul E. McKenney
2017 J jnl
Does choice of mutation tool matter?
Softw. Qual. J.
Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, Alex Groce
2017 J jnl
Mutation Reduction Strategies Considered Harmful.
IEEE Trans. Reliab.
Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, Alex Groce
2017 A conf
One test to rule them all.
ISSTA
Alex Groce, Josie Holmes, Kevin Kellar
2017 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2017 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2017 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2017 — ed.
Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017.
CREST
Alex Groce, Stefan Leue
2017 J jnl
Provenance and Pseudo-Provenance for Seeded Learning-Based Automated Test Generation.
CoRR
Alex Groce, Josie Holmes
2017 — conf
Resource Adaptation via Test-Based Software Minimization.
SASO
Arpit Christi, Alex Groce, Rahul Gopinath
2017 A conf
The Theory of Composite Faults.
ICST
Rahul Gopinath, Carlos Jensen, Alex Groce
2016 B conf
A Method Dependence Relations Guided Genetic Algorithm.
SSBSE
Ali Aburas, Alex Groce
2016 J jnl
Bounded Model Checking and Feature Omission Diversity.
CoRR
Mohammad Amin Alipour, Alex Groce
2016 — conf
Can testedness be effectively measured?
SIGSOFT FSE
Iftekhar Ahmed, Rahul Gopinath, Caius Brindescu, Alex Groce, Carlos Jensen
2016 J jnl
Cause reduction: delta debugging, even without bugs.
Softw. Test. Verification Reliab.
Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr
2016 J jnl
Data Poisoning: Lightweight Soft Fault Injection for Python.
CoRR
Mohammad Amin Alipour, Alex Groce
2016 A* conf
Evaluating non-adequate test-case reduction.
ASE
Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce
2016 J jnl
Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery.
CoRR
Mohammad Amin Alipour, Alex Groce, Chaoqiang Zhang, Anahita Sanadaji, Gokul Caushik
2016 A conf
Generating focused random tests using directed swarm testing.
ISSTA
Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi
2016 — conf
Measuring Effectiveness of Mutant Sets.
ICST Workshops
Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce
2016 — conf
Mitigating (and exploiting) test reduction slippage.
A-TEST@SIGSOFT FSE
Josie Holmes, Alex Groce, Mohammad Amin Alipour
2016 A* conf
On the limits of mutation reduction strategies.
ICSE
Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce
2016 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2016 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2016 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2016 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2016 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2016 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2016 — conf
Topsy-Turvy: a smarter and faster parallelization of mutation analysis.
ICSE (Companion Volume)
Rahul Gopinath, Carlos Jensen, Alex Groce
2015 — conf
A Little Language for Testing.
NFM
Alex Groce, Jervis Pinto
2015 J jnl
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites.
ACM Trans. Softw. Eng. Methodol.
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
2015 A* conf
How Verified is My Code? Falsification-Driven Verification (T).
ASE
Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney
2015 A conf
How hard does mutation analysis have to be, anyway?
ISSRE
Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce
2015 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2015 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2015 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2015 A conf
TSTL: a language and tool for testing (demo).
ISSTA
Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal
2014 — conf
An Improved Memetic Algorithm with Method Dependence Relations (MAMDR).
QSIC
Ali Aburas, Alex Groce
2014 A conf
Cause Reduction for Quick Testing.
ICST
Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr
2014 A* conf
Code coverage for suite evaluation by developers.
ICSE
Rahul Gopinath, Carlos Jensen, Alex Groce
2014 — conf
Coverage and Its Discontents.
Onward!
Alex Groce, Mohammad Amin Alipour, Rahul Gopinath
2014 J jnl
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning.
Ann. Math. Artif. Intell.
Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu
2014 A conf
MuCheck: an extensible tool for mutation testing of haskell programs.
ISSTA
Duc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce
2014 A conf
Mutations: How Close are they to Real Faults?
ISSRE
Rahul Gopinath, Carlos Jensen, Alex Groce
2014 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2014 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2014 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2014 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2014 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2014 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2014 — conf
Taming a Fuzzer Using Delta Debugging Trails.
ICDM Workshops
Yuanli Pei, Arpit Christi, Xiaoli Z. Fern, Alex Groce, Weng-Keen Wong
2014 A conf
Using test case reduction and prioritization to improve symbolic execution.
ISSTA
Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour
2014 J jnl
You Are the Only Possible Oracle: Effective Test Selection for End Users of Interactive Machine Learning Systems.
IEEE Trans. Software Eng.
Alex Groce, Todd Kulesza, Chaoqiang Zhang, Shalini Shamasunder, Margaret M. Burnett, Weng-Keen Wong, Simone Stumpf, Shubhomoy Das, Amber Shinsel, Forrest Bice, Kevin McIntosh
2013 A conf
Comparing non-adequate test suites using coverage criteria.
ISSTA
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
2013 A conf
Help, help, i'm being suppressed! The significance of suppressors in software testing.
ISSRE
Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, John Regehr
2013 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2013 J jnl
Passages.
ACM SIGSOFT Softw. Eng. Notes
Alex Groce
2013 A* conf
Taming compiler fuzzers.
PLDI
Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, John Regehr
2012 — conf
Extended program invariants: applications in testing and fault localization.
WODA
Mohammad Amin Alipour, Alex Groce
2012 — conf
Finding common ground: choose, assert, and assume.
WODA
Alex Groce, Martin Erwig
2012 — conf
Learning-Based Test Programming for Programmers.
ISoLA (1)
Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour
2012 A conf
Lightweight Automated Testing with Adaptation-Based Programming.
ISSRE
Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez
2012 A conf
Swarm testing.
ISSTA
Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr
2011 A* conf
Coverage rewarded: Test input generation via adaptation-based programming.
ASE
Alex Groce
2011 B conf
Mini-crowdsourcing end-user assessment of intelligent assistants: A cost-benefit study.
VL/HCC
Amber Shinsel, Todd Kulesza, Margaret M. Burnett, William Curran, Alex Groce, Simone Stumpf, Weng-Keen Wong
2011 — ed.
Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
SPIN
Alex Groce, Madanlal Musuvathi
2011 J jnl
Swarm Verification Techniques.
IEEE Trans. Software Eng.
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2011 — conf
Where Are My Intelligent Assistant's Mistakes? A Systematic Testing Approach.
IS-EUD
Todd Kulesza, Margaret M. Burnett, Simone Stumpf, Weng-Keen Wong, Shubhomoy Das, Alex Groce, Amber Shinsel, Forrest Bice, Kevin McIntosh
2010 J jnl
Formal Analysis of Log Files.
J. Aerosp. Comput. Inf. Commun.
Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith
2010 — conf
From scripts to specifications: the evolution of a flight software testing effort.
ICSE (2)
Alex Groce, Klaus Havelund, Margaret H. Smith
2009 — conf
(Quickly) testing the tester via path coverage.
WODA
Alex Groce
2009 — conf
An Entry Point for Formal Methods: Specification and Analysis of Event Logs
FMA
Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith
2009 B conf
Rule Systems for Runtime Verification: A Short Tutorial.
RV
Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce
2008 — conf
Automated Testing of Planning Models.
MoChArt
Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith
2008 J jnl
Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s.
Int. J. Softw. Tools Technol. Transf.
Alex Groce, Rajeev Joshi
2008 B conf
Extending Model Checking with Dynamic Analysis.
VMCAI
Alex Groce, Rajeev Joshi
2008 J jnl
Model driven code checking.
Autom. Softw. Eng.
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2008 — conf
New Challenges in Model Checking.
25 Years of Model Checking
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2008 A* conf
Random Test Run Length and Effectiveness.
ASE
James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu
2008 — conf
Random testing and model checking: building a common framework for nondeterministic exploration.
WODA
Alex Groce, Rajeev Joshi
2008 A* conf
Swarm Verification.
ASE
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2008 — conf
Tackling Large Verification Problems with the Swarm Tool.
SPIN
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2007 A* conf
Randomized Differential Testing as a Prelude to Formal Verification.
ICSE
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
2007 A* conf
Verifying C++ with STL containers via predicate abstraction.
ASE
Nicolas Blanc, Alex Groce, Daniel Kroening
2006 J jnl
Adaptive Model Checking.
Log. J. IGPL
Alex Groce, Doron A. Peled, Mihalis Yannakakis
2006 J jnl
Error explanation with distance metrics.
Int. J. Softw. Tools Technol. Transf.
Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman
2006 A conf
Exploiting Traces in Program Analysis.
TACAS
Alex Groce, Rajeev Joshi
2004 C conf
Counterexample Guided Abstraction Refinement Via Program Execution.
ICFEM
Daniel Kroening, Alex Groce, Edmund M. Clarke
2004 J jnl
Efficient Verification of Sequential and Concurrent C Programs.
Formal Methods Syst. Des.
Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav
2004 A conf
Error Explanation with Distance Metrics.
TACAS
Alex Groce
2004 — conf
Explaining abstract counterexamples.
SIGSOFT FSE
Sagar Chaki, Alex Groce, Ofer Strichman
2004 J jnl
Heuristics for model checking Java programs.
Int. J. Softw. Tools Technol. Transf.
Alex Groce, Willem Visser
2004 — conf
Making the Most of BMC Counterexamples.
BMC@CAV
Alex Groce, Daniel Kroening
2004 J jnl
Modular Verification of Software Components in C.
IEEE Trans. Software Eng.
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
2004 A* conf
Understanding Counterexamples with explain.
CAV
Alex Groce, Daniel Kroening, Flavio Lerda
2003 A* conf
Modular Verification of Software Components in C.
ICSE
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
2003 — conf
Predicate Abstraction with Minimum Predicates.
CHARME
Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman
2003 — conf
VeriAgent: an Approach to Integrating UML and Formal Verification Tools.
WMF
Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Y. Kanda
2003 — conf
What Went Wrong: Explaining Counterexamples.
SPIN
Alex Groce, Willem Visser
2002 A* conf
AMC: An Adaptive Model Checker.
CAV
Alex Groce, Doron A. Peled, Mihalis Yannakakis
2002 A conf
Adaptive Model Checking.
TACAS
Alex Groce, Doron A. Peled, Mihalis Yannakakis
2002 — conf
Heuristic Model Checking for Java Programs.
SPIN
Alex Groce, Willem Visser
2002 A conf
Model checking Java programs using structural heuristics.
ISSTA
Alex Groce, Willem Visser
2001 A* conf
Efficient Model Checking Via Büchi Tableau Automata.
CAV
Girish Bhat, Rance Cleaveland, Alex Groce