ask others

Alex Groce

Alex David Groce

> Home > Persons

Person information

affiliation: Carnegie Mellon University, Pittsburgh, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ase/GroceAJMH18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ase/GroceAJMH18
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)
[j39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce18
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 43(1): 1-2 (2018)
[j38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/HolmesGPMAKO18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/HolmesGPMAKO18
Josie Holmes, Alex Groce, Jervis Pinto, Pranjal Mittal, Pooria Azimi, Kevin Kellar, James O'Brien:
TSTL: the template scripting testing language. STTT 20(1): 57-78 (2018)
[c68]
- view
  - electronic edition via DOI
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/icse/GroceHMSZ18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/GroceHMSZ18
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
[c67]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issre/HolmesG18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issre/HolmesG18
Josie Holmes, Alex Groce:
Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing. ISSRE 2018: 166-177
[c66]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issre/ChristiOAG18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issre/ChristiOAG18
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
[c65]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/qrs/ChristiG18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/qrs/ChristiG18
Arpit Christi, Alex Groce:
Target Selection for Test-Based Resource Adaptation. QRS 2018: 458-469
[c64]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/secdev/GoodmanGG18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/secdev/GoodmanGG18
Peter Goodman, Gustavo Grieco, Alex Groce:
Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle. SecDev 2018: 130-131
2017
[j37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce17
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 42(2): 5-6 (2017)
[j36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce17a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce17a
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 42(3): 9 (2017)
[j35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce17b
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce17b
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 42(4): 5-6 (2017)
[j34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sqj/GopinathAAJG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sqj/GopinathAAJG17
Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, Alex Groce:
Does choice of mutation tool matter? Software Quality Journal 25(3): 871-920 (2017)
[j33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tr/GopinathAAJG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tr/GopinathAAJG17
Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, Alex Groce:
Mutation Reduction Strategies Considered Harmful. IEEE Trans. Reliability 66(3): 854-874 (2017)
[c63]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icst/GopinathJG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/GopinathJG17
Rahul Gopinath, Carlos Jensen, Alex Groce:
The Theory of Composite Faults. ICST 2017: 47-57
[c62]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icst/AhmedJGM17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/AhmedJGM17
Iftekhar Ahmed, Carlos Jensen, Alex Groce, Paul E. McKenney:
Applying Mutation Analysis on Kernel Test Suites: An Experience Report. ICST Workshops 2017: 110-115
[c61]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/GroceHK17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/GroceHK17
Alex Groce, Josie Holmes, Kevin Kellar:
One test to rule them all. ISSTA 2017: 1-11
[c60]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/HolmesG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/HolmesG17
Josie Holmes, Alex Groce:
A suite of tools for making effective use of automatically generated tests. ISSTA 2017: 356-359
[c59]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/saso/ChristiGG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/saso/ChristiGG17
Arpit Christi, Alex Groce, Rahul Gopinath:
Resource Adaptation via Test-Based Software Minimization. SASO 2017: 61-70
[e2]
- view
  - table of contents in dblp
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1710-02770
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1710-02770
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1711-01661
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1711-01661
Alex Groce, Josie Holmes:
Provenance and Pseudo-Provenance for Seeded Learning-Based Automated Test Generation. CoRR abs/1711.01661 (2017)
2016
[j32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce16
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 41(1): 5 (2016)
[j31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce16a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce16a
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 41(2): 5 (2016)
[j30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce16b
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce16b
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 41(3): 4-5 (2016)
[j29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce16c
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce16c
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 41(4): 6-7 (2016)
[j28]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/sigsoft/Groce16d
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce16d
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 41(5): 6-5 (2016)
[j27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce16e
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce16e
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 41(6): 5-6 (2016)
[j26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/stvr/GroceAZCR16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/stvr/GroceAZCR16
Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr:
Cause reduction: delta debugging, even without bugs. Softw. Test., Verif. Reliab. 26(1): 40-68 (2016)
[c58]
- view
  - electronic edition via DOI
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/icse/GopinathAAJG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/GopinathAAJG16
Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce:
On the limits of mutation reduction strategies. ICSE 2016: 511-522
[c57]
- view
  - electronic edition @ acm.org
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/icse/GopinathJG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/GopinathJG16
Rahul Gopinath, Carlos Jensen, Alex Groce:
Topsy-Turvy: a smarter and faster parallelization of mutation analysis. ICSE (Companion Volume) 2016: 740-743
[c56]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icst/GopinathAAJG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/GopinathAAJG16
Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce:
Measuring Effectiveness of Mutant Sets. ICST Workshops 2016: 132-141
[c55]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/AlipourGGC16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/AlipourGGC16
Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi:
Generating focused random tests using directed swarm testing. ISSTA 2016: 70-81
[c54]
- view
  - electronic edition via DOI
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/kbse/AlipourSGMG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/AlipourSGMG16
Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce:
Evaluating non-adequate test-case reduction. ASE 2016: 16-26
[c53]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sigsoft/HolmesGA16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/HolmesGA16
Josie Holmes, Alex Groce, Mohammad Amin Alipour:
Mitigating (and exploiting) test reduction slippage. A-TEST@SIGSOFT FSE 2016: 66-69
[c52]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sigsoft/AhmedGBGJ16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/AhmedGBGJ16
Iftekhar Ahmed, Rahul Gopinath, Caius Brindescu, Alex Groce, Carlos Jensen:
Can testedness be effectively measured? SIGSOFT FSE 2016: 547-558
[c51]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ssbse/AburasG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ssbse/AburasG16
Ali Aburas, Alex Groce:
A Method Dependence Relations Guided Genetic Algorithm. SSBSE 2016: 267-273
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AlipourGZSC16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/AlipourGZSC16
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AlipourG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/AlipourG16
Mohammad Amin Alipour, Alex Groce:
Bounded Model Checking and Feature Omission Diversity. CoRR abs/1610.08020 (2016)
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AlipourG16a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/AlipourG16a
Mohammad Amin Alipour, Alex Groce:
Data Poisoning: Lightweight Soft Fault Injection for Python. CoRR abs/1611.01501 (2016)
2015
[j25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce15
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 40(1): 8-9 (2015)
[j24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce15a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce15a
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 40(2): 5-6 (2015)
[j23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce15b
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce15b
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 40(3): 4-5 (2015)
[j22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tosem/GligoricGZSAM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tosem/GligoricGZSAM15
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)
[c50]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isqed/VelevZ0G15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isqed/VelevZ0G15
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
[c49]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/issre/GopinathAAJG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issre/GopinathAAJG15
Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce:
How hard does mutation analysis have to be, anyway? ISSRE 2015: 216-227
[c48]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/GrocePAM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/GrocePAM15
Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal:
TSTL: a language and tool for testing (demo). ISSTA 2015: 414-417
[c47]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/kbse/GroceAJM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/GroceAJM15
Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney:
How Verified is My Code? Falsification-Driven Verification (T). ASE 2015: 737-748
[c46]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nfm/GroceP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/nfm/GroceP15
Alex Groce, Jervis Pinto:
A Little Language for Testing. NFM 2015: 204-218
2014
[j21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/GroceHHJX14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/GroceHHJX14
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)
[j20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce14
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 39(1): 6-7 (2014)
[j19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce14a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce14a
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 39(2): 4-5 (2014)
[j18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce14b
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce14b
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 39(3): 6-7 (2014)
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce14c
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce14c
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 39(4): 8-9 (2014)
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce14d
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce14d
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 39(5): 1:5 (2014)
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce14e
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce14e
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 39(6): 6-7 (2014)
[j14]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/GroceKZSBWSDSBM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tse/GroceKZSBWSDSBM14
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)
[c45]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icdm/PeiCFGW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icdm/PeiCFGW14
Yuanli Pei, Arpit Christi, Xiaoli Z. Fern, Alex Groce, Weng-Keen Wong:
Taming a Fuzzer Using Delta Debugging Trails. ICDM Workshops 2014: 840-843
[c44]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icse/GopinathJG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/GopinathJG14
Rahul Gopinath, Carlos Jensen, Alex Groce:
Code coverage for suite evaluation by developers. ICSE 2014: 72-82
[c43]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icst/GroceAZCR14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/GroceAZCR14
Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr:
Cause Reduction for Quick Testing. ICST 2014: 243-252
[c42]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/issre/GopinathJG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issre/GopinathJG14
Rahul Gopinath, Carlos Jensen, Alex Groce:
Mutations: How Close are they to Real Faults? ISSRE 2014: 189-200
[c41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/ZhangGA14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/ZhangGA14
Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour:
Using test case reduction and prioritization to improve symbolic execution. ISSTA 2014: 160-170
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/LeAGG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/LeAGG14
Duc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce:
MuCheck: an extensible tool for mutation testing of haskell programs. ISSTA 2014: 429-432
[c39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/oopsla/GroceAG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/oopsla/GroceAG14
Alex Groce, Mohammad Amin Alipour, Rahul Gopinath:
Coverage and Its Discontents. Onward! 2014: 255-268
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/qsic/AburasG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/qsic/AburasG14
Ali Aburas, Alex Groce:
An Improved Memetic Algorithm with Method Dependence Relations (MAMDR). QSIC 2014: 11-20
2013
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce13
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 38(5): 17-18 (2013)
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/Groce13a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/Groce13a
Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 38(6): 6-7 (2013)
[c37]
- view
- export record
  dblp key:
  - conf/issre/GroceZAECR13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issre/GroceZAECR13
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
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/GligoricGZSAM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/GligoricGZSAM13
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
[c35]
- view
  - electronic edition via DOI
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pldi/ChenGZWFER13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/ChenGZWFER13
Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, John Regehr:
Taming compiler fuzzers. PLDI 2013: 197-208
2012
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isola/GroceFEPBA12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isola/GroceFEPBA12
Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour:
Learning-Based Test Programming for Programmers. ISoLA (1) 2012: 572-586
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issre/GroceFPBAEL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issre/GroceFPBAEL12
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
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/AlipourG12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/AlipourG12
Mohammad Amin Alipour, Alex Groce:
Extended program invariants: applications in testing and fault localization. WODA 2012: 7-11
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/GroceE12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/GroceE12
Alex Groce, Martin Erwig:
Finding common ground: choose, assert, and assume. WODA 2012: 12-17
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/GroceZECR12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/GroceZECR12
Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr:
Swarm testing. ISSTA 2012: 78-88
2011
[j11]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/HolzmannJG11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tse/HolzmannJG11
Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification Techniques. IEEE Trans. Software Eng. 37(6): 845-857 (2011)
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iseud/KuleszaBSWDGSBM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iseud/KuleszaBSWDGSBM11
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
[c28]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/kbse/Groce11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/Groce11
Alex Groce:
Coverage rewarded: Test input generation via adaptation-based programming. ASE 2011: 380-383
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vl/ShinselKBCGSW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vl/ShinselKBCGSW11
Amber Shinsel, Todd Kulesza, Margaret M. Burnett, William Curran, Alex Groce, Simone Stumpf, Weng-Keen Wong:
Mini-crowdsourcing end-user assessment of intelligent assistants: A cost-benefit study. VL/HCC 2011: 47-54
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/2011
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/2011
Alex Groce, Madanlal Musuvathi:
Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings. Lecture Notes in Computer Science 6823, Springer 2011, ISBN 978-3-642-22305-1 [contents]
2010
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jacic/BarringerGHS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jacic/BarringerGHS10
Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith:
Formal Analysis of Log Files. JACIC 7(11): 365-390 (2010)
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icse/GroceHS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/GroceHS10
Alex Groce, Klaus Havelund, Margaret H. Smith:
From scripts to specifications: the evolution of a flight software testing effort. ICSE (2) 2010: 129-138

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/Groce09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/Groce09
Alex Groce:
(Quickly) testing the tester via path coverage. WODA 2009: 22-28
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/BarringerHRG09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/BarringerHRG09
Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce:
Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24
[c23]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1003-1682
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1003-1682
Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith:
An Entry Point for Formal Methods: Specification and Analysis of Event Logs. FMA 2009: 16-21
2008
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ase/HolzmannJG08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ase/HolzmannJG08
Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Model driven code checking. Autom. Softw. Eng. 15(3-4): 283-297 (2008)
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/GroceJ08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/GroceJ08
Alex Groce, Rajeev Joshi:
Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s. STTT 10(2): 131-144 (2008)
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/GroceJ08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/GroceJ08
Alex Groce, Rajeev Joshi:
Random testing and model checking: building a common framework for nondeterministic exploration. WODA 2008: 22-28
[c21]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/kbse/HolzmannJG08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/HolzmannJG08
Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification. ASE 2008: 1-6
[c20]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/kbse/AndrewsGWX08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/AndrewsGWX08
James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu:
Random Test Run Length and Effectiveness. ASE 2008: 19-28
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mochart/HavelundGHJS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mochart/HavelundGHJS08
Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith:
Automated Testing of Planning Models. MoChArt 2008: 90-105
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/HolzmannJG08a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/HolzmannJG08a
Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
New Challenges in Model Checking. 25 Years of Model Checking 2008: 65-76
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/HolzmannJG08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/HolzmannJG08
Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/GroceJ08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/GroceJ08
Alex Groce, Rajeev Joshi:
Extending Model Checking with Dynamic Analysis. VMCAI 2008: 142-156
2007
[c15]
- view
- export record
  dblp key:
  - conf/icse/GroceHJ07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/GroceHJ07
Alex Groce, Gerard J. Holzmann, Rajeev Joshi:
Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/kbse/BlancGK07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/BlancGK07
Nicolas Blanc, Alex Groce, Daniel Kroening:
Verifying C++ with STL containers via predicate abstraction. ASE 2007: 521-524
2006
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/igpl/GrocePY06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/igpl/GrocePY06
Alex Groce, Doron A. Peled, Mihalis Yannakakis:
Adaptive Model Checking. Logic Journal of the IGPL 14(5): 729-744 (2006)
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/GroceCKS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/GroceCKS06
Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman:
Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/GroceJ06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/GroceJ06
Alex Groce, Rajeev Joshi:
Exploiting Traces in Program Analysis. TACAS 2006: 379-393
2005
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/GroceK05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/GroceK05
Alex Groce, Daniel Kroening:
Making the Most of BMC Counterexamples. Electr. Notes Theor. Comput. Sci. 119(2): 67-81 (2005)
2004
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MotaCGOFK04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/MotaCGOFK04
Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Kanda:
VeriAgent: an Approach to Integrating UML and Formal Verification Tools. Electr. Notes Theor. Comput. Sci. 95: 111-129 (2004)
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/ChakiCGOSY04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/ChakiCGOSY04
Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav:
Efficient Verification of Sequential and Concurrent C Programs. Formal Methods in System Design 25(2-3): 129-166 (2004)
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/GroceV04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/GroceV04
Alex Groce, Willem Visser:
Heuristics for model checking Java programs. STTT 6(4): 260-276 (2004)
[j1]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/ChakiCGJV04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tse/ChakiCGJV04
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith:
Modular Verification of Software Components in C. IEEE Trans. Software Eng. 30(6): 388-402 (2004)
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/GroceKL04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/GroceKL04
Alex Groce, Daniel Kroening, Flavio Lerda:
Understanding Counterexamples with explain. CAV 2004: 453-456
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfem/KroeningGC04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/KroeningGC04
Daniel Kroening, Alex Groce, Edmund M. Clarke:
Counterexample Guided Abstraction Refinement Via Program Execution. ICFEM 2004: 224-238
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sigsoft/ChakiGS04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/ChakiGS04
Sagar Chaki, Alex Groce, Ofer Strichman:
Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/Groce04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/Groce04
Alex Groce:
Error Explanation with Distance Metrics. TACAS 2004: 108-122
2003
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/charme/ChakiCGS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/charme/ChakiCGS03
Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman:
Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34
[c7]
- view
- export record
  dblp key:
  - conf/icse/ChakiCGJV03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/ChakiCGJV03
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith:
Modular Verification of Software Components in C. ICSE 2003: 385-395
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/GroceV03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/GroceV03
Alex Groce, Willem Visser:
What Went Wrong: Explaining Counterexamples. SPIN 2003: 121-135
2002
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/GrocePY02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/GrocePY02
Alex Groce, Doron A. Peled, Mihalis Yannakakis:
AMC: An Adaptive Model Checker. CAV 2002: 521-525
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/GroceV02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/GroceV02
Alex Groce, Willem Visser:
Model checking Java programs using structural heuristics. ISSTA 2002: 12-21
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/GroceV02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/GroceV02
Alex Groce, Willem Visser:
Heuristic Model Checking for Java Programs. SPIN 2002: 242-245
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/GrocePY02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/GrocePY02
Alex Groce, Doron A. Peled, Mihalis Yannakakis:
Adaptive Model Checking. TACAS 2002: 357-370
2001
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/BhatCG01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/BhatCG01
Girish Bhat, Rance Cleaveland, Alex Groce:
Efficient Model Checking Via Büchi Tableau Automata. CAV 2001: 38-52

Coauthor Index

see FAQ

maintained by

at