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
[j67]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)- [j66]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 49(1): 10 (2024) - [j65]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 49(2): 9 (2024) - [j64]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 49(3): 13 (2024) - [j63]Alex Groce:
Passages. ACM SIGSOFT Softw. Eng. Notes 49(4): 7 (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]Alex Groce:
Coverage rewarded: Test input generation via adaptation-based programming. ASE 2011: 380-383 - [c29]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
- [j8]Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith:
Formal Analysis of Log Files. J. Aerosp. Comput. Inf. Commun. 7(11): 365-390 (2010) - [c28]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
- [c27]Alex Groce:
(Quickly) testing the tester via path coverage. WODA 2009: 22-28 - [c26]Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce:
Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24 - [c25]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
- [j7]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Model driven code checking. Autom. Softw. Eng. 15(3-4): 283-297 (2008) - [j6]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) - [c24]Alex Groce, Rajeev Joshi:
Random testing and model checking: building a common framework for nondeterministic exploration. WODA 2008: 22-28 - [c23]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification. ASE 2008: 1-6 - [c22]James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu:
Random Test Run Length and Effectiveness. ASE 2008: 19-28 - [c21]Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith:
Automated Testing of Planning Models. MoChArt 2008: 90-105 - [c20]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
New Challenges in Model Checking. 25 Years of Model Checking 2008: 65-76 - [c19]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143 - [c18]Alex Groce, Rajeev Joshi:
Extending Model Checking with Dynamic Analysis. VMCAI 2008: 142-156 - 2007
- [c17]Alex Groce, Gerard J. Holzmann, Rajeev Joshi:
Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631 - [c16]Nicolas Blanc, Alex Groce, Daniel Kroening:
Verifying C++ with STL containers via predicate abstraction. ASE 2007: 521-524 - 2006
- [j5]Alex Groce, Doron A. Peled, Mihalis Yannakakis:
Adaptive Model Checking. Log. J. IGPL 14(5): 729-744 (2006) - [j4]Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman:
Error explanation with distance metrics. Int. J. Softw. Tools Technol. Transf. 8(3): 229-247 (2006) - [c15]Alex Groce, Rajeev Joshi:
Exploiting Traces in Program Analysis. TACAS 2006: 379-393 - 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) - [c14]Alex Groce, Daniel Kroening, Flavio Lerda:
Understanding Counterexamples with explain. CAV 2004: 453-456 - [c13]Daniel Kroening, Alex Groce, Edmund M. Clarke:
Counterexample Guided Abstraction Refinement Via Program Execution. ICFEM 2004: 224-238 - [c12]Sagar Chaki, Alex Groce, Ofer Strichman:
Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82 - [c11]Alex Groce:
Error Explanation with Distance Metrics. TACAS 2004: 108-122 - [c10]Alex Groce, Daniel Kroening:
Making the Most of BMC Counterexamples. BMC@CAV 2004: 67-81 - 2003
- [c9]Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman:
Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34 - [c8]Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith:
Modular Verification of Software Components in C. ICSE 2003: 385-395 - [c7]Alex Groce, Willem Visser:
What Went Wrong: Explaining Counterexamples. SPIN 2003: 121-135 - [c6]Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Y. Kanda:
VeriAgent: an Approach to Integrating UML and Formal Verification Tools. WMF 2003: 111-129 - 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]Alex Groce, Doron A. Peled, Mihalis Yannakakis:
Adaptive Model Checking. TACAS 2002: 357-370 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 21:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
