Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlex Groce
Alex David Groce
Person information
- affiliation: North Carolina State University, USA
- affiliation (former): Carnegie Mellon University, Pittsburgh, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j66]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): 654-674 (2024)- [j65]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 49(1): 10 (2024) - [j64]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 49(2): 9 (2024) - [j63]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 49(3): 13 (2024) - 2023
- [j62]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 48(1): 6 (2023) - [j61]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 48(2): 9 (2023) - [j60]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 48(3): 8 (2023) - [j59]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 48(4): 13 (2023) - [c87]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: 102-113 - [c86]Kush Jain, Uri Alon, Alex Groce, Claire Le Goues:
Contextual Predictive Mutation Testing. ESEC/SIGSOFT FSE 2023: 250-261 - [i11]Kush Jain, Uri Alon, Alex Groce, Claire Le Goues:
Contextual Predictive Mutation Testing. CoRR abs/2309.02389 (2023) - [i10]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 abs/2309.02395 (2023) - 2022
- [j58]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 47(1): 4 (2022) - [j57]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 47(2): 3 (2022) - [j56]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 47(3): 4 (2022) - [j55]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 47(4): 8 (2022) - [c85]Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues:
Making no-fuss compiler fuzzing effective. CC 2022: 194-204 - [c84]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: 185-186 - [i9]Rahul Gopinath, Philipp Görz, Alex Groce:
Mutation Analysis: Answering the Fuzzing Challenge. CoRR abs/2201.11303 (2022) - 2021
- [j54]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 46(1): 9-12 (2021) - [j53]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 46(2): 10 (2021) - [j52]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 46(3): 7 (2021) - [j51]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 46(4): 7 (2021) - [c83]Akhila Chowdary Kolla, Alex Groce, Toby Dylan Hocking:
Fuzz Testing the Compiled Code in R Packages. ISSRE 2021: 300-308 - [c82]Alex Groce, Gustavo Grieco:
echidna-parade: a tool for diverse multicore smart contract fuzzing. ISSTA 2021: 658-661 - [c81]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: 227-239 - [c80]Alex Groce:
Let a thousand flowers bloom: on the uses of diversity in software testing. Onward! 2021: 136-144 - [c79]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: 207-218 - [i8]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 abs/2103.07006 (2021) - 2020
- [j50]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 45(1): 4-5 (2020) - [j49]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 45(2): 3-4 (2020) - [j48]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 45(3): 4-5 (2020) - [j47]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 45(4): 8-10 (2020) - [j46]Josie Holmes, Alex Groce:
Using mutants to help developers distinguish and debug (compiler) faults. Softw. Test. Verification Reliab. 30(2) (2020) - [j45]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): 28:1-28:38 (2020) - [c78]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: 634-653 - [c77]Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce:
Echidna: effective, usable, and fast fuzzing for smart contracts. ISSTA 2020: 557-560 - [c76]Alex Groce, Josie Holmes:
Practical Automatic Lightweight Nondeterminism and Flaky Test Detection and Debugging for Python. QRS 2020: 188-195 - [c75]Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf:
A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. QRS 2020: 510-517
2010 – 2019
- 2019
- [j44]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 44(1): 7 (2019) - [j43]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 44(2): 3-4 (2019) - [j42]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 44(3): 10-11 (2019) - [c74]Josselin Feist, Gustavo Grieco, Alex Groce:
Slither: a static analysis framework for smart contracts. WETSEB@ICSE 2019: 8-15 - [c73]Arpit Christi, Alex Groce, Austin Wellman:
Building Resource Adaptations via Test-Based Software Minimization: Application, Challenges, and Opportunities. ISSRE Workshops 2019: 73-78 - [c72]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: 1186-1189 - [c71]Arpit Christi, Alex Groce, Rahul Gopinath:
Evaluating Fault Localization for Resource Adaptation via Test-Based Software Modification. QRS 2019: 26-33 - [i7]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 abs/1907.03890 (2019) - [i6]Josselin Feist, Gustavo Grieco, Alex Groce:
Slither: A Static Analysis Framework For Smart Contracts. CoRR abs/1908.09878 (2019) - [i5]Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn:
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? CoRR abs/1911.07567 (2019) - 2018
- [j41]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): 917-960 (2018) - [j40]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 43(1): 1-2 (2018) - [j39]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 43(2): 6-7 (2018) - [j38]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 43(3): 5 (2018) - [j37]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 43(4): 6-7 (2018) - [j36]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): 57-78 (2018) - [c70]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: 25-28 - [c69]Josie Holmes, Alex Groce:
Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing. ISSRE 2018: 166-177 - [c68]Arpit Christi, Matthew Lyle Olson, Mohammad Amin Alipour, Alex Groce:
Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization. ISSRE Workshops 2018: 184-191 - [c67]Arpit Christi, Alex Groce:
Target Selection for Test-Based Resource Adaptation. QRS 2018: 458-469 - [c66]Peter Goodman, Gustavo Grieco, Alex Groce:
Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle. SecDev 2018: 130-131 - 2017
- [j35]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 42(2): 5-6 (2017) - [j34]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 42(3): 9 (2017) - [j33]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 42(4): 5-6 (2017) - [j32]Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, Alex Groce:
Does choice of mutation tool matter? Softw. Qual. J. 25(3): 871-920 (2017) - [j31]Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, Alex Groce:
Mutation Reduction Strategies Considered Harmful. IEEE Trans. Reliab. 66(3): 854-874 (2017) - [c65]Rahul Gopinath, Carlos Jensen, Alex Groce:
The Theory of Composite Faults. ICST 2017: 47-57 - [c64]Iftekhar Ahmed, Carlos Jensen, Alex Groce, Paul E. McKenney:
Applying Mutation Analysis on Kernel Test Suites: An Experience Report. ICST Workshops 2017: 110-115 - [c63]Alex Groce, Josie Holmes, Kevin Kellar:
One test to rule them all. ISSTA 2017: 1-11 - [c62]Josie Holmes, Alex Groce:
A suite of tools for making effective use of automatically generated tests. ISSTA 2017: 356-359 - [c61]Arpit Christi, Alex Groce, Rahul Gopinath:
Resource Adaptation via Test-Based Software Minimization. SASO 2017: 61-70 - [e2]Alex Groce, Stefan Leue:
Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 259, 2017 [contents] - [i4]Alex Groce, Josie Holmes:
Provenance and Pseudo-Provenance for Seeded Learning-Based Automated Test Generation. CoRR abs/1711.01661 (2017) - 2016
- [j30]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 41(1): 5 (2016) - [j29]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 41(2): 5 (2016) - [j28]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 41(3): 4-5 (2016) - [j27]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 41(4): 6-7 (2016) - [j26]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 41(5): 6-5 (2016) - [j25]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 41(6): 5-6 (2016) - [j24]Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr:
Cause reduction: delta debugging, even without bugs. Softw. Test. Verification Reliab. 26(1): 40-68 (2016) - [c60]Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce:
On the limits of mutation reduction strategies. ICSE 2016: 511-522 - [c59]Rahul Gopinath, Carlos Jensen, Alex Groce:
Topsy-Turvy: a smarter and faster parallelization of mutation analysis. ICSE (Companion Volume) 2016: 740-743 - [c58]Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce:
Measuring Effectiveness of Mutant Sets. ICST Workshops 2016: 132-141 - [c57]Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi:
Generating focused random tests using directed swarm testing. ISSTA 2016: 70-81 - [c56]Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce:
Evaluating non-adequate test-case reduction. ASE 2016: 16-26 - [c55]Josie Holmes, Alex Groce, Mohammad Amin Alipour:
Mitigating (and exploiting) test reduction slippage. A-TEST@SIGSOFT FSE 2016: 66-69 - [c54]Iftekhar Ahmed, Rahul Gopinath, Caius Brindescu, Alex Groce, Carlos Jensen:
Can testedness be effectively measured? SIGSOFT FSE 2016: 547-558 - [c53]Ali Aburas, Alex Groce:
A Method Dependence Relations Guided Genetic Algorithm. SSBSE 2016: 267-273 - [i3]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 abs/1609.06382 (2016) - [i2]Mohammad Amin Alipour, Alex Groce:
Bounded Model Checking and Feature Omission Diversity. CoRR abs/1610.08020 (2016) - [i1]Mohammad Amin Alipour, Alex Groce:
Data Poisoning: Lightweight Soft Fault Injection for Python. CoRR abs/1611.01501 (2016) - 2015
- [j23]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 40(1): 8-9 (2015) - [j22]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 40(2): 5-6 (2015) - [j21]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 40(3): 4-5 (2015) - [j20]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): 22:1-22:33 (2015) - [c52]Miroslav N. Velev, Chaoqiang Zhang, Ping Gao, Alex David Groce:
Exploiting abstraction, learning from random simulation, and SVM classification for efficient dynamic prediction of software health problems. ISQED 2015: 412-418 - [c51]Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce:
How hard does mutation analysis have to be, anyway? ISSRE 2015: 216-227 - [c50]Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal:
TSTL: a language and tool for testing (demo). ISSTA 2015: 414-417 - [c49]Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney:
How Verified is My Code? Falsification-Driven Verification (T). ASE 2015: 737-748 - [c48]Alex Groce, Jervis Pinto:
A Little Language for Testing. NFM 2015: 204-218 - 2014
- [j19]Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu:
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. Ann. Math. Artif. Intell. 70(4): 315-349 (2014) - [j18]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 39(1): 6-7 (2014) - [j17]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 39(2): 4-5 (2014) - [j16]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 39(3): 6-7 (2014) - [j15]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 39(4): 8-9 (2014) - [j14]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 39(5): 1:5 (2014) - [j13]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 39(6): 6-7 (2014) - [j12]Alex Groce, Todd Kulesza, Chaoqiang Zhang, Shalini Shamasunder, Margaret M. Burnett, Weng-Keen Wong, Simone Stumpf, Shubhomoy Das, Amber Shinsel, Forrest Bice, Kevin McIntosh:
You Are the Only Possible Oracle: Effective Test Selection for End Users of Interactive Machine Learning Systems. IEEE Trans. Software Eng. 40(3): 307-323 (2014) - [c47]Yuanli Pei, Arpit Christi, Xiaoli Z. Fern, Alex Groce, Weng-Keen Wong:
Taming a Fuzzer Using Delta Debugging Trails. ICDM Workshops 2014: 840-843 - [c46]Rahul Gopinath, Carlos Jensen, Alex Groce:
Code coverage for suite evaluation by developers. ICSE 2014: 72-82 - [c45]Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr:
Cause Reduction for Quick Testing. ICST 2014: 243-252 - [c44]Rahul Gopinath, Carlos Jensen, Alex Groce:
Mutations: How Close are they to Real Faults? ISSRE 2014: 189-200 - [c43]Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour:
Using test case reduction and prioritization to improve symbolic execution. ISSTA 2014: 160-170 - [c42]Duc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce:
MuCheck: an extensible tool for mutation testing of haskell programs. ISSTA 2014: 429-432 - [c41]Alex Groce, Mohammad Amin Alipour, Rahul Gopinath:
Coverage and Its Discontents. Onward! 2014: 255-268 - [c40]Ali Aburas, Alex Groce:
An Improved Memetic Algorithm with Method Dependence Relations (MAMDR). QSIC 2014: 11-20 - 2013
- [j11]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 38(5): 17-18 (2013) - [j10]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 38(6): 6-7 (2013) - [c39]Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, John Regehr:
Help, help, i'm being suppressed! The significance of suppressors in software testing. ISSRE 2013: 390-399 - [c38]Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov:
Comparing non-adequate test suites using coverage criteria. ISSTA 2013: 302-313 - [c37]Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, John Regehr:
Taming compiler fuzzers. PLDI 2013: 197-208 - 2012
- [c36]Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour:
Learning-Based Test Programming for Programmers. ISoLA (1) 2012: 572-586 - [c35]Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez:
Lightweight Automated Testing with Adaptation-Based Programming. ISSRE 2012: 161-170 - [c34]Mohammad Amin Alipour, Alex Groce:
Extended program invariants: applications in testing and fault localization. WODA 2012: 7-11 - [c33]Alex Groce, Martin Erwig:
Finding common ground: choose, assert, and assume. WODA 2012: 12-17 - [c32]Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr:
Swarm testing. ISSTA 2012: 78-88 - 2011
- [j9]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification Techniques. IEEE Trans. Software Eng. 37(6): 845-857 (2011) - [c31]Todd Kulesza, Margaret M. Burnett, Simone Stumpf, Weng-Keen Wong, Shubhomoy Das, Alex Groce, Amber Shinsel, Forrest Bice, Kevin McIntosh:
Where Are My Intelligent Assistant's Mistakes? A Systematic Testing Approach. IS-EUD 2011: 171-186 - [c30]