Alex Groce

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 88

Top Venues

ACM SIGSOFT Softw. Eng. Notes

CoRR

ISSTA

ISSRE

Publications

Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 49 (3) (2024)
Sourav Deb, Kush Jain, Rijnard van Tonder, Claire Le Goues, Alex Groce
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 49 (1) (2024)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 49 (2) (2024)
Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. ISSRE (2023)
Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. CoRR (2023)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 48 (2) (2023)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 48 (3) (2023)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 48 (4) (2023)
Kush Jain, Uri Alon, Alex Groce, Claire Le Goues
Contextual Predictive Mutation Testing. ESEC/SIGSOFT FSE (2023)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 48 (1) (2023)
Kush Jain, Uri Alon, Alex Groce, Claire Le Goues
Contextual Predictive Mutation Testing. CoRR (2023)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 47 (1) (2022)
Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues
Making no-fuss compiler fuzzing effective. CC (2022)
Rahul Gopinath, Philipp Görz, Alex Groce
Mutation Analysis: Answering the Fuzzing Challenge. CoRR (2022)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 47 (2) (2022)
Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues
Looking for Lacunae in Bitcoin Core's Fuzzing Efforts. ICSE (SEIP) (2022)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 47 (4) (2022)
Josie Holmes, Iftekhar Ahmed, Caius Brindescu, Rahul Gopinath, He Zhang, Alex Groce
Using Relative Lines of Code to Guide Automated Test Generation for Python. CoRR (2021)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 46 (2) (2021)
Alex Groce, Iftekhar Ahmed, Josselin Feist, Gustavo Grieco, Jiri Gesi, Mehran Meidani, Qihong Chen
Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis. QRS (2021)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 46 (3) (2021)
Alex Groce, Gustavo Grieco
echidna-parade: a tool for diverse multicore smart contract fuzzing. ISSTA (2021)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 46 (1) (2021)
Akhila Chowdary Kolla, Alex Groce, Toby Dylan Hocking
Fuzz Testing the Compiled Code in R Packages. ISSRE (2021)
Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, Sang Kil Cha
SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. ASE (2021)
Alex Groce
Let a thousand flowers bloom: on the uses of diversity in software testing. Onward! (2021)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 46 (4) (2021)
Alex Groce, Josie Holmes
Practical Automatic Lightweight Nondeterminism and Flaky Test Detection and Debugging for Python. QRS (2020)
Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn
What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)? Financial Cryptography (2020)
Josie Holmes, Iftekhar Ahmed, Caius Brindescu, Rahul Gopinath, He Zhang, Alex Groce
Using Relative Lines of Code to Guide Automated Test Generation for Python. ACM Trans. Softw. Eng. Methodol. 29 (4) (2020)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 45 (4) (2020)
Josie Holmes, Alex Groce
Using mutants to help developers distinguish and debug (compiler) faults. Softw. Test. Verification Reliab. 30 (2) (2020)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce
Echidna: effective, usable, and fast fuzzing for smart contracts. ISSTA (2020)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 45 (3) (2020)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 45 (1) (2020)
Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf
A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. QRS (2020)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 44 (1) (2019)
Arpit Christi, Alex Groce, Austin Wellman
Building Resource Adaptations via Test-Based Software Minimization: Application, Challenges, and Opportunities. ISSRE Workshops (2019)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 44 (3) (2019)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 44 (2) (2019)
Josselin Feist, Gustavo Grieco, Alex Groce
Slither: A Static Analysis Framework For Smart Contracts. CoRR (2019)
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. ASE (2019)
Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? CoRR (2019)
Josselin Feist, Gustavo Grieco, Alex Groce
Slither: a static analysis framework for smart contracts. WETSEB@ICSE (2019)
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. CoRR (2019)
Arpit Christi, Alex Groce, Rahul Gopinath
Evaluating Fault Localization for Resource Adaptation via Test-Based Software Modification. QRS (2019)
Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney, Josie Holmes
How verified (or tested) is my code? Falsification-driven verification and testing. Autom. Softw. Eng. 25 (4) (2018)
Arpit Christi, Matthew Lyle Olson, Mohammad Amin Alipour, Alex Groce
Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization. ISSRE Workshops (2018)
Josie Holmes, Alex Groce, Jervis Pinto, Pranjal Mittal, Pooria Azimi, Kevin Kellar, James O'Brien
TSTL: the template scripting testing language. Int. J. Softw. Tools Technol. Transf. 20 (1) (2018)
Arpit Christi, Alex Groce
Target Selection for Test-Based Resource Adaptation. QRS (2018)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 43 (2) (2018)
Josie Holmes, Alex Groce
Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing. ISSRE (2018)
Alex Groce, Josie Holmes, Darko Marinov, August Shi, Lingming Zhang
An extensible, regular-expression-based tool for multi-language mutant generation. ICSE (Companion Volume) (2018)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 43 (1) (2018)
Peter Goodman, Gustavo Grieco, Alex Groce
Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle. SecDev (2018)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 43 (3) (2018)
Rahul Gopinath, Carlos Jensen, Alex Groce
The Theory of Composite Faults. ICST (2017)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 42 (2) (2017)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 42 (3) (2017)
Josie Holmes, Alex Groce
A suite of tools for making effective use of automatically generated tests. ISSTA (2017)
Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, Alex Groce
Does choice of mutation tool matter? Softw. Qual. J. 25 (3) (2017)
Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, Alex Groce
Mutation Reduction Strategies Considered Harmful. IEEE Trans. Reliab. 66 (3) (2017)
Iftekhar Ahmed, Carlos Jensen, Alex Groce, Paul E. McKenney
Applying Mutation Analysis on Kernel Test Suites: An Experience Report. ICST Workshops (2017)
Arpit Christi, Alex Groce, Rahul Gopinath
Resource Adaptation via Test-Based Software Minimization. SASO (2017)
Alex Groce, Josie Holmes
Provenance and Pseudo-Provenance for Seeded Learning-Based Automated Test Generation. CoRR (2017)
Alex Groce, Josie Holmes, Kevin Kellar
One test to rule them all. ISSTA (2017)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 41 (3) (2016)
Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce
Measuring Effectiveness of Mutant Sets. ICST Workshops (2016)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 41 (5) (2016)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 41 (1) (2016)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 41 (2) (2016)
Mohammad Amin Alipour, Alex Groce
Data Poisoning: Lightweight Soft Fault Injection for Python. CoRR (2016)
Mohammad Amin Alipour, Alex Groce, Chaoqiang Zhang, Anahita Sanadaji, Gokul Caushik
Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery. CoRR (2016)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 41 (4) (2016)
Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr
Cause reduction: delta debugging, even without bugs. Softw. Test. Verification Reliab. 26 (1) (2016)
Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce
On the limits of mutation reduction strategies. ICSE (2016)
Josie Holmes, Alex Groce, Mohammad Amin Alipour
Mitigating (and exploiting) test reduction slippage. A-TEST@SIGSOFT FSE (2016)
Mohammad Amin Alipour, Alex Groce
Bounded Model Checking and Feature Omission Diversity. CoRR (2016)
Rahul Gopinath, Carlos Jensen, Alex Groce
Topsy-Turvy: a smarter and faster parallelization of mutation analysis. ICSE (Companion Volume) (2016)
Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce
Evaluating non-adequate test-case reduction. ASE (2016)
Iftekhar Ahmed, Rahul Gopinath, Caius Brindescu, Alex Groce, Carlos Jensen
Can testedness be effectively measured? SIGSOFT FSE (2016)
Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi
Generating focused random tests using directed swarm testing. ISSTA (2016)
Ali Aburas, Alex Groce
A Method Dependence Relations Guided Genetic Algorithm. SSBSE (2016)
Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal
TSTL: a language and tool for testing (demo). ISSTA (2015)
Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce
How hard does mutation analysis have to be, anyway? ISSRE (2015)
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. ACM Trans. Softw. Eng. Methodol. 24 (4) (2015)
Alex Groce, Jervis Pinto
A Little Language for Testing. NFM (2015)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 40 (3) (2015)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 40 (2) (2015)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney
How Verified is My Code? Falsification-Driven Verification (T). ASE (2015)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 39 (5) (2014)
Ali Aburas, Alex Groce
An Improved Memetic Algorithm with Method Dependence Relations (MAMDR). QSIC (2014)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 39 (2) (2014)
Alex Groce
Passages. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)

Alex Groce.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alex Groce