Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarAlex 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
export refined list as
showing all ?? records
2020 – today
- 2020
[j49]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 45(1): 4-5 (2020)- [j48]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 45(2): 3-4 (2020) - [j47]Josie Holmes, Alex Groce
:
Using mutants to help developers distinguish and debug (compiler) faults. Softw. Test. Verification Reliab. 30(2) (2020)
2010 – 2019
- 2019
- [j46]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 44(1): 7 (2019) - [j45]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 44(2): 3-4 (2019) - [j44]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 44(3): 10-11 (2019) - [c72]Josselin Feist, Gustavo Grieco, Alex Groce:
Slither: a static analysis framework for smart contracts. WETSEB@ICSE 2019: 8-15 - [c71]Arpit Christi, Alex Groce, Austin Wellman:
Building Resource Adaptations via Test-Based Software Minimization: Application, Challenges, and Opportunities. ISSRE Workshops 2019: 73-78 - [c70]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 - [c69]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
- [j43]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) - [j42]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 43(1): 1-2 (2018) - [j41]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 43(2): 6-7 (2018) - [j40]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 43(3): 5 (2018) - [j39]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 43(4): 6-7 (2018) - [j38]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) - [c68]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]Josie Holmes, Alex Groce:
Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing. ISSRE 2018: 166-177 - [c66]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]Arpit Christi, Alex Groce:
Target Selection for Test-Based Resource Adaptation. QRS 2018: 458-469 - [c64]Peter Goodman, Gustavo Grieco, Alex Groce:
Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle. SecDev 2018: 130-131 - 2017
- [j37]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 42(2): 5-6 (2017) - [j36]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 42(3): 9 (2017) - [j35]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 42(4): 5-6 (2017) - [j34]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) - [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]Rahul Gopinath, Carlos Jensen, Alex Groce:
The Theory of Composite Faults. ICST 2017: 47-57 - [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]Alex Groce, Josie Holmes, Kevin Kellar:
One test to rule them all. ISSTA 2017: 1-11 - [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]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 41(1): 5 (2016) - [j31]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 41(2): 5 (2016) - [j30]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 41(3): 4-5 (2016) - [j29]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 41(4): 6-7 (2016) - [j28]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 41(5): 6-5 (2016) - [j27]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 41(6): 5-6 (2016) - [j26]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) - [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]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
- [j25]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 40(1): 8-9 (2015) - [j24]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 40(2): 5-6 (2015) - [j23]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 40(3): 4-5 (2015) - [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]Alex Groce, Jervis Pinto:
A Little Language for Testing. NFM 2015: 204-218 - 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]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 39(1): 6-7 (2014) - [j19]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 39(2): 4-5 (2014) - [j18]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 39(3): 6-7 (2014) - [j17]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 39(4): 8-9 (2014) - [j16]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 39(5): 1:5 (2014) - [j15]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 39(6): 6-7 (2014) - [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]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 38(5): 17-18 (2013) - [j12]Alex Groce:
Passages. ACM SIGSOFT Software Engineering Notes 38(6): 6-7 (2013) - [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 Z. 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]Alex Groce, Martin Erwig:
Finding common ground: choose, assert, and assume. WODA 2012: 12-17 - [c30]Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr:
Swarm testing. ISSTA 2012: 78-88 - 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. J. Aerosp. Comput. Inf. Commun. 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]Alex Groce:
(Quickly) testing the tester via path coverage. WODA 2009: 22-28 - [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. Int. J. Softw. Tools Technol. Transf. 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]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification. ASE 2008: 1-6 - [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]Alex Groce, Rajeev Joshi:
Extending Model Checking with Dynamic Analysis. VMCAI 2008: 142-156 - 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. Log. J. IGPL 14(5): 729-744 (2006) - [j6]Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman:
Error explanation with distance metrics. Int. J. Softw. Tools Technol. Transf. 8(3): 229-247 (2006) - [c13]Alex Groce, Rajeev Joshi:
Exploiting Traces in Program Analysis. TACAS 2006: 379-393 - 2005
- [j5]Alex Groce, Daniel Kroening:
Making the Most of BMC Counterexamples. Electron. 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. Electron. 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 Syst. Des. 25(2-3): 129-166 (2004) - [j2]Alex Groce, Willem Visser:
Heuristics for model checking Java programs. Int. J. Softw. Tools Technol. Transf. 6(4): 260-276 (2004) - [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]Alex Groce:
Error Explanation with Distance Metrics. TACAS 2004: 108-122 - 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]Alex Groce, Willem Visser:
What Went Wrong: Explaining Counterexamples. SPIN 2003: 121-135 - 2002
- [c5]Alex Groce, Doron A. Peled, Mihalis Yannakakis:
AMC: An Adaptive Model Checker. CAV 2002: 521-525 - [c4]Alex Groce, Willem Visser:
Model checking Java programs using structural heuristics. ISSTA 2002: 12-21 - [c3]Alex Groce, Willem Visser:
Heuristic Model Checking for Java Programs. SPIN 2002: 242-245 - [c2]