No photo of Alex Groce

View Scopus Profile

Alex Groce

Associate Professor

Calculated based on number of publications stored in Pure and citations from Scopus
20012023

Research activity per year

Search results

  • 2023

    Contextual Predictive Mutation Testing

    Jain, K., Alon, U., Groce, A. & Le Goues, C., Nov 30 2023, ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Chandra, S., Blincoe, K. & Tonella, P. (eds.). Association for Computing Machinery, Inc, p. 250-261 12 p. (ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Mind the Gap: The Difference between Coverage and Mutation Score Can Guide Testing Efforts

    Jain, K., Kalburgi, G. T., Le Goues, C. & Groce, A., 2023, Proceedings - 2023 IEEE 34th International Symposium on Software Reliability Engineering, ISSRE 2023. IEEE Computer Society, p. 102-113 12 p. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2022

    ACM Conferences

    Groce, A., Van Tonder, R., Kalburgi, G. T. & Le Goues, C., Sep 19 2022, CC 2022 - Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction. Egger, B. & Smith, A. (eds.). Association for Computing Machinery, Inc, p. 194-204 11 p. (CC 2022 - Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Looking for Lacunae in Bitcoin Core's Fuzzing Efforts

    Groce, A., Jain, K., Van Tonder, R., Kalburgi, G. T. & Goues, C. L., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering: Software Engineering in Practice, ICSE-SEIP 2022. IEEE Computer Society, p. 185-186 2 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations
  • 2021

    Echidna-parade: A tool for diverse multicore smart contract fuzzing

    Groce, A. & Grieco, G., Jul 11 2021, ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. Cadar, C. & Zhang, X. (eds.). Association for Computing Machinery, Inc, p. 658-661 4 p. 3469076. (ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Scopus citations

  • Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis

    Groce, A., Ahmed, I., Feist, J., Grieco, G., Gesi, J., Meidani, M. & Chen, Q., 2021, Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security, QRS 2021. Institute of Electrical and Electronics Engineers, p. 207-218 12 p. (IEEE International Conference on Software Quality, Reliability and Security, QRS; vol. 2021-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Scopus citations

  • Fuzz Testing the Compiled Code in R Packages

    Kolla, A. C., Groce, A. & Hocking, T. D., 2021, Proceedings - 2021 IEEE 32nd International Symposium on Software Reliability Engineering, ISSRE 2021. Jin, Z., Li, X., Xiang, J., Mariani, L., Liu, T., Yu, X. & Ivaki, N. (eds.). IEEE Computer Society, p. 300-308 9 p. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2021-October).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Let a thousand flowers bloom: On the uses of diversity in software testing

    Groce, A., Oct 20 2021, Onward! 2021 - Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2021. De Meuter, W. & Baniassad, E. (eds.). Association for Computing Machinery, Inc, p. 136-144 9 p. (Onward! 2021 - Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses

    Choi, J., Kim, D., Kim, S., Grieco, G., Groce, A. & Cha, S. K., 2021, Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021. Institute of Electrical and Electronics Engineers Inc., p. 227-239 13 p. (Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    81 Scopus citations
  • 2020

    A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study

    Gavrilov, M., Dewey, K., Groce, A., Zamanzadeh, D. & Hardekopf, B., Dec 2020, Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020. Institute of Electrical and Electronics Engineers Inc., p. 510-517 8 p. 9282794. (Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Echidna: Effective, usable, and fast fuzzing for smart contracts

    Grieco, G., Song, W., Cygan, A., Feist, J. & Groce, A., Jul 18 2020, ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. Khurshid, S. & Pasareanu, C. S. (eds.). Association for Computing Machinery, Inc, p. 557-560 4 p. (ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    120 Scopus citations

  • Practical Automatic Lightweight Nondeterminism and Flaky Test Detection and Debugging for Python

    Groce, A. & Holmes, J., Dec 2020, Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020. Institute of Electrical and Electronics Engineers Inc., p. 188-195 8 p. 9282803. (Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Using mutants to help developers distinguish and debug (compiler) faults

    Holmes, J. & Groce, A., Mar 1 2020, In: Software Testing Verification and Reliability. 30, 2, e1727.

    Research output: Contribution to journal › Article › peer-review

    8 Scopus citations

  • Using Relative Lines of Code to Guide Automated Test Generation for Python

    Holmes, J., Ahmed, I., Brindescu, C., Gopinath, R., Zhang, H. & Groce, A., Oct 2020, In: ACM Transactions on Software Engineering and Methodology. 29, 4, 3408896.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    9 Scopus citations

  • What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?

    Groce, A., Feist, J., Grieco, G. & Colburn, M., 2020, Financial Cryptography and Data Security - 24th International Conference, FC 2020, Revised Selected Papers. Bonneau, J. & Heninger, N. (eds.). Springer, p. 634-653 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12059 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    20 Scopus citations
  • 2019

    Building resource adaptations via test-based software minimization: Application, challenges, and opportunities

    Christi, A., Groce, A. & Wellman, A., Oct 2019, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 73-78 6 p. 8990230. (Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Evaluating Fault Localization for Resource Adaptation via Test-Based Software Modification

    Christi, A., Groce, A. & Gopinath, R., Jul 2019, Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019. Institute of Electrical and Electronics Engineers Inc., p. 26-33 8 p. 8854677. (Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Manticore: A user-friendly symbolic execution framework for binaries and smart contracts

    Mossberg, M., Manzano, F., Hennenfent, E., Groce, A., Grieco, G., Feist, J., Brunson, T. & Dinaburg, A., Nov 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 1186-1189 4 p. 8952204. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    249 Scopus citations

  • Slither: A static analysis framework for smart contracts

    Feist, J., Grieco, G. & Groce, A., May 2019, Proceedings - 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB 2019. Institute of Electrical and Electronics Engineers Inc., p. 8-15 8 p. 8823898. (Proceedings - 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    475 Scopus citations
  • 2018

    An extensible, regular-expression-based tool for multi-language mutant generation

    Groce, A., Holmes, J., Marinov, D., Shi, A. & Zhang, L., May 27 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 25-28 4 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    33 Scopus citations

  • Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing

    Holmes, J. & Groce, A., Nov 16 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 166-177 12 p. 8539079. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2018-October).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    15 Scopus citations

  • How verified (or tested) is my code? Falsification-driven verification and testing

    Groce, A., Ahmed, I., Jensen, C., McKenney, P. E. & Holmes, J., Dec 1 2018, In: Automated Software Engineering. 25, 4, p. 917-960 44 p.

    Research output: Contribution to journal › Article › peer-review

    7 Scopus citations

  • Reduce before You Localize: Delta-Debugging and Spectrum-Based Fault Localization

    Christi, A., Olson, M. L., Alipour, M. A. & Groce, A., Nov 16 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018. Natella, R., Ghosh, S., Laranjeiro, N., Poston, R. & Cukic, B. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 184-191 8 p. 8539194. (Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    22 Scopus citations

  • Target selection for test-based resource adaptation

    Christi, A. & Groce, A., Aug 2 2018, Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security, QRS 2018. Institute of Electrical and Electronics Engineers Inc., p. 458-469 12 p. 8424997. (Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security, QRS 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • TSTL: the template scripting testing language

    Holmes, J., Groce, A., Pinto, J., Mittal, P., Azimi, P., Kellar, K. & O’Brien, J., Feb 1 2018, In: International Journal on Software Tools for Technology Transfer. 20, 1, p. 57-78 22 p.

    Research output: Contribution to journal › Article › peer-review

    16 Scopus citations

  • Tutorial: DeepState: Bringing vulnerability detection tools into the development cycle

    Goodman, P., Grieco, G. & Groce, A., Nov 21 2018, Proceedings - 2018 IEEE Cybersecurity Development Conference, SecDev 2018. Institute of Electrical and Electronics Engineers Inc., p. 130-131 2 p. 8543400. (Proceedings - 2018 IEEE Cybersecurity Development Conference, SecDev 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations
  • 2017

    Applying Mutation Analysis on Kernel Test Suites: An Experience Report

    Ahmed, I., Jensen, C., Groce, A. & McKenney, P. E., Apr 13 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. Institute of Electrical and Electronics Engineers Inc., p. 110-115 6 p. 7899043. (Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    22 Scopus citations

  • A suite of tools for making effective use of automatically generated tests

    Holmes, J. & Groce, A., Jul 10 2017, ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. Sen, K. & Bultan, T. (eds.). Association for Computing Machinery, Inc, p. 356-359 4 p. (ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Does choice of mutation tool matter?

    Gopinath, R., Ahmed, I., Alipour, M. A., Jensen, C. & Groce, A., Sep 1 2017, In: Software Quality Journal. 25, 3, p. 871-920 50 p.

    Research output: Contribution to journal › Article › peer-review

    9 Scopus citations

  • Mutation reduction strategies considered harmful

    Gopinath, R., Ahmed, I., Alipour, M. A., Jensen, C. & Groce, A., Sep 2017, In: IEEE Transactions on Reliability. 66, 3, p. 854-874 21 p., 7942146.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    33 Scopus citations

  • One test to rule them all

    Groce, A., Holmes, J. & Kellar, K., Jul 10 2017, ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. Sen, K. & Bultan, T. (eds.). Association for Computing Machinery, Inc, p. 1-11 11 p. (ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Scopus citations

  • Preface

    Groce, A. & Leue, S., Oct 10 2017, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 259

    Research output: Contribution to journal › Editorial › peer-review

    Open Access

  • Resource Adaptation via Test-Based Software Minimization

    Christi, A., Groce, A. & Gopinath, R., Oct 9 2017, Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017. Institute of Electrical and Electronics Engineers Inc., p. 61-70 10 p. 8064030. (Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Scopus citations

  • The Theory of Composite Faults

    Gopinath, R., Jensen, C. & Groce, A., May 15 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Institute of Electrical and Electronics Engineers Inc., p. 47-57 11 p. 7927962. (Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    26 Scopus citations
  • 2016

    A method dependence relations guided genetic algorithm

    Aburas, A. & Groce, A., 2016, Search Based Software Engineering - 8th International Symposium, SSBSE 2016, Proceedings. Sarro, F. & Deb, K. (eds.). Springer-Verlag, p. 267-273 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9962 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Can testedness be effectively measured?

    Ahmed, I., Gopinath, R., Brindescu, C., Groce, A. & Jensen, C., Nov 1 2016, FSE 2016 - Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Su, Z., Zimmermann, T. & Cleland-Huang, J. (eds.). Association for Computing Machinery, p. 547-558 12 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 13-18-November-2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    37 Scopus citations

  • Cause reduction: Delta debugging, even without bugs

    Groce, A., Alipour, M. A., Zhang, C., Chen, Y. & Regehr, J., Jan 1 2016, In: Software Testing Verification and Reliability. 26, 1, p. 40-68 29 p.

    Research output: Contribution to journal › Article › peer-review

    29 Scopus citations

  • Evaluating non-adequate test-case reduction

    Alipour, M. A., Shi, A., Gopinath, R., Marinov, D. & Groce, A., Aug 25 2016, ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Khurshid, S., Lo, D. & Apel, S. (eds.). Association for Computing Machinery, Inc, p. 16-26 11 p. (ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    24 Scopus citations

  • Generating focused random tests using directed swarm testing

    Alipour, M. A., Groce, A., Gopinath, R. & Christi, A., Jul 18 2016, ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis. Roychoudhury, A. & Zeller, A. (eds.). Association for Computing Machinery, Inc, p. 70-81 12 p. (ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    26 Scopus citations

  • How hard does mutation analysis have to be, anyway?

    Gopinath, R., Alipour, A., Ahmed, I., Jensen, C. & Groce, A., Jan 13 2016, 2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015. Institute of Electrical and Electronics Engineers Inc., p. 216-227 12 p. 7381815. (2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    39 Scopus citations

  • How verified is my code? Falsification-driven verification

    Groce, A., Ahmed, I., Jensen, C. & McKenney, P. E., Jan 4 2016, Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015. Institute of Electrical and Electronics Engineers Inc., p. 737-748 12 p. 7372062. (Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    14 Scopus citations

  • Measuring Effectiveness of Mutant Sets

    Gopinath, R., Alipour, A., Ahmed, I., Jensen, C. & Groce, A., Aug 1 2016, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016. Institute of Electrical and Electronics Engineers Inc., p. 132-141 10 p. 7528955. (Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    21 Scopus citations

  • Mitigating (and exploiting) test reduction slippage

    Holmes, J., Groce, A. & Alipour, M. A., Nov 18 2016, A-TEST 2016 - Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, co-located with FSE 2016. Eldh, S., Prasetya, W. & Vos, T. (eds.). Association for Computing Machinery, Inc, p. 66-69 4 p. (A-TEST 2016 - Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, co-located with FSE 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    6 Scopus citations

  • On the limits of mutation reduction strategies

    Gopinath, R., Alipour, M. A., Ahmed, I., Jensen, C. & Groce, A., May 14 2016, Proceedings - 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering Companion, ICSE 2016. IEEE Computer Society, p. 511-522 12 p. (Proceedings - International Conference on Software Engineering; vol. 14-22-May-2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    38 Scopus citations

  • Preface

    Benferhat, S., Chockler, H., Fabre, E., Fey, G., Gössler, G., Groce, A., Hallé, S., Halpern, J., Leue, S., Nickovic, D., Podgurski, A., Sokolsky, O., Stefani, J. B., Travé-Massuyès, L., Vennekens, J., Wang, C. & Weissenbacher, G., Aug 26 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 224

    Research output: Contribution to journal › Editorial › peer-review

    Open Access

  • Topsy-Turvy: A smarter and faster parallelization of mutation analysis

    Gopinath, R., Jensen, C. & Groce, A., May 14 2016, Proceedings - 5th International Workshop on Green and Sustainable Software, GREENS 2016. IEEE Computer Society, p. 740-743 4 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    16 Scopus citations
  • 2015

    A little language for testing

    Groce, A. & Pinto, J., 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer-Verlag, p. 204-218 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Scopus citations

  • Exploiting abstraction, learning from random simulation, and SVM classification for efficient dynamic prediction of software health problems

    Velev, M. N., Zhang, C., Gao, P. & Groce, A. D., Apr 13 2015, Proceedings of the 16th International Symposium on Quality Electronic Design, ISQED 2015. IEEE Computer Society, p. 412-418 7 p. 7085461. (Proceedings - International Symposium on Quality Electronic Design, ISQED; vol. 2015-April).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Guidelines for coverage-based comparisons of non-adequate test suites

    Gligoric, M., Groce, A., Zhang, C., Sharma, R., Alipour, M. A. & Marinov, D., Aug 1 2015, In: ACM Transactions on Software Engineering and Methodology. 24, 4, 22.

    Research output: Contribution to journal › Article › peer-review

    41 Scopus citations

  • Taming a fuzzer using delta debugging trails

    Pei, Y., Christi, A., Fern, X., Groce, A. & Wong, W. K., Jan 26 2015, Proceedings - 14th IEEE International Conference on Data Mining Workshops, ICDMW 2014. Zhou, Z.-H., Wang, W., Kumar, R., Toivonen, H., Pei, J., Zhexue Huang, J. & Wu, X. (eds.). January ed. IEEE Computer Society, p. 840-843 4 p. 7022682. (IEEE International Conference on Data Mining Workshops, ICDMW; vol. 2015-January, no. January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution