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

Research activity per year

If you made any changes in Pure these will be visible here soon.

Search results

  • (Quickly) testing the tester via path coverage

    Groce, A., 2009, WODA 2009 - Proceedings of the 7th International Workshop on Dynamic Analysis, Held in Conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2009. p. 22-28 7 p. (WODA 2009 - Proceedings of the 7th International Workshop on Dynamic Analysis, Held in Conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Scopus citations
  • 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 proceedingConference contribution

  • Adaptive model checking

    Groce, A., Peled, D. & Yannakakis, M., Oct 2006, In: Logic Journal of the IGPL. 14, 5, p. 729-744 16 p.

    Research output: Contribution to journalArticlepeer-review

    31 Scopus citations
  • Adaptive model checking

    Groce, A., Peled, D. & Yannakakis, M., 2002, Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc.. Katoen, J-P. & Stevens, P. (eds.). Springer-Verlag, p. 357-370 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2280 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    86 Scopus citations
  • 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 proceedingConference contribution

    10 Scopus citations
  • AMC: An adaptive model checker

    Groce, A., Peled, D. & Yannakakis, M., 2002, Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. Brinksma, E. & Larsen, K. G. (eds.). Springer-Verlag, p. 521-525 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2404).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    11 Scopus citations
  • 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 proceedingConference contribution

    3 Scopus citations
  • An entry point for formal methods: Specification and analysis of event logs

    Barringer, H., Groce, A., Havelund, K. & Smith, M., Mar 28 2010, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 20, p. 16-21 6 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
    4 Scopus citations
  • 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 proceedingConference contribution

    16 Scopus citations
  • An improved memetic algorithm with method dependence relations (MAMDR)

    Aburas, A. & Groce, A., Nov 14 2014, Proceedings - International Conference on Quality Software. IEEE Computer Society, p. 11-20 10 p. 6958382. (Proceedings - International Conference on Quality Software).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • 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 proceedingConference contribution

    18 Scopus citations
  • 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 proceedingConference contribution

    2 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 proceedingConference contribution

  • Automated testing of planning models

    Havelund, K., Groce, A., Holzmann, G., Joshi, R. & Smith, M., 2009, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5348 LNAI, p. 90-105 16 p.

    Research output: Contribution to journalConference articlepeer-review

    4 Scopus citations
  • 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 proceedingConference contribution

    2 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 proceedingConference contribution

    27 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 proceedingConference contribution

    10 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 journalArticlepeer-review

    27 Scopus citations
  • Cause reduction for quick testing

    Groce, A., Alipour, M. A., Zhang, C., Chen, Y. & Regehr, J., 2014, Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation, ICST 2014. IEEE Computer Society, p. 243-252 10 p. 6823886. (Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation, ICST 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    35 Scopus citations
  • Code coverage for suite evaluation by developers

    Gopinath, R., Jensen, C. & Groce, A., May 31 2014, In: Proceedings - International Conference on Software Engineering. CONFCODENUMBER, p. 72-82 11 p.

    Research output: Contribution to journalConference articlepeer-review

    106 Scopus citations
  • Comparing non-adequate test suites using coverage criteria

    Gligoric, M., Groce, A., Zhang, C., Sharma, R., Alipour, M. A. & Marinov, D., 2013, 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings. p. 302-313 12 p. (2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    92 Scopus citations
  • Counterexample guided abstraction refinement via program execution

    Kroening, D., Groce, A. & Clarke, E., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer-Verlag, p. 224-238 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    41 Scopus citations
  • Coverage and its discontents

    Groce, A., Alipour, M. A. & Gopinath, R., Oct 20 2014, Onward! 2014 - Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2014. Association for Computing Machinery, p. 255-268 14 p. (Onward! 2014 - Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    21 Scopus citations
  • Coverage rewarded: Test input generation via adaptation-based programming

    Groce, A., 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings. p. 380-383 4 p. 6100077. (2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Scopus citations
  • 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 journalArticlepeer-review

    8 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 proceedingConference contribution

    38 Scopus citations
  • 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 proceedingConference contribution

    2 Scopus citations
  • Efficient model checking via büchi tableau automata

    Bhat, G. S., Cleaveland, R. & Groce, A., 2001, Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Comon, H., Finkel, A. & Berry, G. (eds.). Springer-Verlag, p. 38-52 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2102).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    19 Scopus citations
  • Efficient verification of sequential and concurrent C Programs

    Chaki, S., Clarke, E., Groce, A., Ouaknine, J., Strichman, O. & Yorav, K., Sep 2004, In: Formal Methods in System Design. 25, 2-3, p. 129-166 38 p.

    Research output: Contribution to journalArticlepeer-review

    57 Scopus citations
  • Error explanation with distance metrics

    Groce, A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer-Verlag, p. 108-122 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    71 Scopus citations
  • Error explanation with distance metrics

    Groce, A., Chaki, S., Kroening, D. & Strichman, O., Jun 2006, In: International Journal on Software Tools for Technology Transfer. 8, 3, p. 229-247 19 p.

    Research output: Contribution to journalArticlepeer-review

    118 Scopus citations
  • Establishing flight software reliability: Testing, model checking, constraint-solving, monitoring and learning

    Groce, A., Havelund, K., Holzmann, G., Joshi, R. & Xu, R. G., Apr 2014, In: Annals of Mathematics and Artificial Intelligence. 70, 4, p. 315-349 35 p.

    Research output: Contribution to journalArticlepeer-review

    21 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 proceedingConference contribution

    3 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 proceedingConference contribution

    21 Scopus citations
  • Explaining abstract counterexamples

    Chaki, S., Groce, A. & Strichman, O., 2004, p. 73-82. 10 p.

    Research output: Contribution to conferencePaperpeer-review

    46 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 proceedingConference contribution

  • Exploiting traces in program analysis

    Groce, A. & Joshi, R., 2006, Tools and Algorithms for the Construction and Analysis of Systems - 12th International Conference, TACAS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006. p. 379-393 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3920 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    8 Scopus citations
  • Exploiting traces in static program analysis: Better model checking through printfs

    Groce, A. & Joshi, R., Mar 2008, In: International Journal on Software Tools for Technology Transfer. 10, 2, p. 131-144 14 p.

    Research output: Contribution to journalArticlepeer-review

    2 Scopus citations
  • Extended program invariants: Applications in testing and fault localization

    Alipour, M. A. & Groce, A., 2012, 10th International Workshop on Dynamic Analysis, WODA 2012 - Proceedings. p. 7-11 5 p. (10th International Workshop on Dynamic Analysis, WODA 2012 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Scopus citations
  • Extending model checking with dynamic analysis

    Groce, A. & Joshi, R., 2008, Verification, Model Checking, and Abstract Interpretation - 9th International Conference, VMCAI 2008, Proceedings. p. 142-156 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4905 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Scopus citations
  • Finding common ground: Choose, assert, and assume

    Groce, A. & Erwig, M., 2012, 10th International Workshop on Dynamic Analysis, WODA 2012 - Proceedings. p. 12-17 6 p. (10th International Workshop on Dynamic Analysis, WODA 2012 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Scopus citations
  • Formal analysis of log files

    Barringer, H., Groce, A., Havelund, K. & Smith, M., Nov 2010, In: Journal of Aerospace Computing, Information and Communication. 7, 11, p. 365-390 26 p.

    Research output: Contribution to journalArticlepeer-review

    67 Scopus citations
  • From scripts to specifications: The evolution of a flight software testing effort

    Groce, A., Havelund, K. & Smith, M., 2010, ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. p. 129-138 10 p. (Proceedings - International Conference on Software Engineering; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    27 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 proceedingConference contribution

  • 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 proceedingConference contribution

    18 Scopus citations
  • 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 journalArticlepeer-review

    29 Scopus citations
  • Help, help, I'm being suppressed the significance of suppressors in software testing

    Groce, A., Zhang, C., Alipour, M. A., Eide, E., Chen, Y. & Regehr, J., 2013, 2013 IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013. p. 390-399 10 p. 6698892. (2013 IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    13 Scopus citations
  • Heuristic model checking for java programs

    Groce, A. & Visser, W., 2002, Model Checking Software - 9th International SPIN Workshop, Proceedings. Bosnacki, D. & Leue, S. (eds.). Springer-Verlag, p. 242-245 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2318 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    20 Scopus citations
  • Heuristics for model checking Java programs

    Groce, A. & Visser, W., 2004, In: International Journal on Software Tools for Technology Transfer. 6, 4, p. 260-276 17 p.

    Research output: Contribution to journalArticlepeer-review

    70 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 proceedingConference contribution

    27 Scopus citations