Alex Groce
Alex David Groce
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
- 2018
- [j39]
- [j38]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) - 2017
- [j37]
- [j36]
- [j35]
- [j34]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]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]
- [c62]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]
- [c60]Josie Holmes, Alex Groce:
A suite of tools for making effective use of automatically generated tests. ISSTA 2017: 356-359 - [c59]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
- [j32]
- [j31]
- [j30]
- [j29]
- [j28]
- [j27]
- [j26]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]Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce:
On the limits of mutation reduction strategies. ICSE 2016: 511-522 - [c57]Rahul Gopinath, Carlos Jensen, Alex Groce:
Topsy-Turvy: a smarter and faster parallelization of mutation analysis. ICSE (Companion Volume) 2016: 740-743 - [c56]Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce:
Measuring Effectiveness of Mutant Sets. ICST Workshops 2016: 132-141 - [c55]Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi:
Generating focused random tests using directed swarm testing. ISSTA 2016: 70-81 - [c54]Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce:
Evaluating non-adequate test-case reduction. ASE 2016: 16-26 - [c53]Josie Holmes, Alex Groce, Mohammad Amin Alipour:
Mitigating (and exploiting) test reduction slippage. A-TEST@SIGSOFT FSE 2016: 66-69 - [c52]Iftekhar Ahmed, Rahul Gopinath, Caius Brindescu, Alex Groce, Carlos Jensen:
Can testedness be effectively measured? SIGSOFT FSE 2016: 547-558 - [c51]
- [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
- [j25]
- [j24]
- [j23]
- [j22]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]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]Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce:
How hard does mutation analysis have to be, anyway? ISSRE 2015: 216-227 - [c48]Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal:
TSTL: a language and tool for testing (demo). ISSTA 2015: 414-417 - [c47]Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney:
How Verified is My Code? Falsification-Driven Verification (T). ASE 2015: 737-748 - [c46]
- 2014
- [j21]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]
- [j19]
- [j18]
- [j17]
- [j16]
- [j15]
- [j14]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]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]Rahul Gopinath, Carlos Jensen, Alex Groce:
Code coverage for suite evaluation by developers. ICSE 2014: 72-82 - [c43]Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr:
Cause Reduction for Quick Testing. ICST 2014: 243-252 - [c42]Rahul Gopinath, Carlos Jensen, Alex Groce:
Mutations: How Close are they to Real Faults? ISSRE 2014: 189-200 - [c41]Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour:
Using test case reduction and prioritization to improve symbolic execution. ISSTA 2014: 160-170 - [c40]Duc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce:
MuCheck: an extensible tool for mutation testing of haskell programs. ISSTA 2014: 429-432 - [c39]Alex Groce, Mohammad Amin Alipour, Rahul Gopinath:
Coverage and Its Discontents. Onward! 2014: 255-268 - [c38]Ali Aburas, Alex Groce:
An Improved Memetic Algorithm with Method Dependence Relations (MAMDR). QSIC 2014: 11-20 - 2013
- [j13]
- [j12]
- [c37]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]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]Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Fern, Eric Eide, John Regehr:
Taming compiler fuzzers. PLDI 2013: 197-208 - 2012
- [c34]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]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]Mohammad Amin Alipour, Alex Groce:
Extended program invariants: applications in testing and fault localization. WODA 2012: 7-11 - [c31]
- [c30]
- 2011
- [j11]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification Techniques. IEEE Trans. Software Eng. 37(6): 845-857 (2011) - [c29]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]Alex Groce:
Coverage rewarded: Test input generation via adaptation-based programming. ASE 2011: 380-383 - [c27]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]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]Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith:
Formal Analysis of Log Files. JACIC 7(11): 365-390 (2010) - [c26]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
- 2009
- [c25]
- [c24]Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce:
Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24 - [c23]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]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Model driven code checking. Autom. Softw. Eng. 15(3-4): 283-297 (2008) - [j8]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]Alex Groce, Rajeev Joshi:
Random testing and model checking: building a common framework for nondeterministic exploration. WODA 2008: 22-28 - [c21]
- [c20]James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu:
Random Test Run Length and Effectiveness. ASE 2008: 19-28 - [c19]Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith:
Automated Testing of Planning Models. MoChArt 2008: 90-105 - [c18]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
New Challenges in Model Checking. 25 Years of Model Checking 2008: 65-76 - [c17]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143 - [c16]
- 2007
- [c15]Alex Groce, Gerard J. Holzmann, Rajeev Joshi:
Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631 - [c14]Nicolas Blanc, Alex Groce, Daniel Kroening:
Verifying C++ with STL containers via predicate abstraction. ASE 2007: 521-524 - 2006
- [j7]Alex Groce, Doron A. Peled, Mihalis Yannakakis:
Adaptive Model Checking. Logic Journal of the IGPL 14(5): 729-744 (2006) - [j6]Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman:
Error explanation with distance metrics. STTT 8(3): 229-247 (2006) - [c13]
- 2005
- [j5]Alex Groce, Daniel Kroening:
Making the Most of BMC Counterexamples. Electr. Notes Theor. Comput. Sci. 119(2): 67-81 (2005) - 2004
- [j4]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]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]
- [j1]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]Alex Groce, Daniel Kroening, Flavio Lerda:
Understanding Counterexamples with explain. CAV 2004: 453-456 - [c11]Daniel Kroening, Alex Groce, Edmund M. Clarke:
Counterexample Guided Abstraction Refinement Via Program Execution. ICFEM 2004: 224-238 - [c10]Sagar Chaki, Alex Groce, Ofer Strichman:
Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82 - [c9]
- 2003
- [c8]Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman:
Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34 - [c7]Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith:
Modular Verification of Software Components in C. ICSE 2003: 385-395 - [c6]
- 2002
- [c5]
- [c4]Alex Groce, Willem Visser:
Model checking Java programs using structural heuristics. ISSTA 2002: 12-21 - [c3]
- [c2]
- 2001
- [c1]Girish Bhat, Rance Cleaveland, Alex Groce:
Efficient Model Checking Via Büchi Tableau Automata. CAV 2001: 38-52
Coauthor Index
Mohammad Amin Alipour
aka: Amin Alipour
aka: Amin Alipour
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-15 23:08 CEST by the dblp team