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
20012024

Research activity per year

Search results

  • 2015

    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

    43 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

    1 Scopus citations

  • TSTL: A language and tool for testing (demo)

    Groce, A., Pinto, J., Azimi, P. & Mittal, P., Jul 13 2015, 2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings. Association for Computing Machinery, Inc, p. 414-417 4 p. (2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings).

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

    12 Scopus citations
  • 2014

    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 proceeding › Conference contribution

    3 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 proceeding › Conference contribution

    41 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 journal › Conference article › peer-review

    139 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 proceeding › Conference contribution

    24 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 journal › Article › peer-review

    23 Scopus citations

  • MuCheck: An extensible tool for mutation testing of haskell programs

    Le, D., Alipour, M. A., Gopinath, R. & Groce, A., Jul 21 2014, 2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings. Association for Computing Machinery, Inc, p. 429-432 4 p. (2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings).

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

    26 Scopus citations

  • Mutations: How close are they to real faults?

    Gopinath, R., Jensen, C. & Groce, A., Dec 11 2014, Proceedings - IEEE 25th International Symposium on Software Reliability Engineering, ISSRE 2014. IEEE Computer Society, p. 189-200 12 p. 6982626. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

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

    80 Scopus citations

  • Using test case reduction and prioritization to improve symbolic execution

    Zhang, C., Groce, A. & Alipour, M. A., Jul 21 2014, 2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings. Association for Computing Machinery, p. 160-170 11 p. (2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings).

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

    35 Scopus citations

  • You are the only possible oracle: Effective test selection for end users of interactive machine learning systems

    Groce, A., Kulesza, T., Zhang, C., Shamasunder, S., Burnett, M., Wong, W. K., Stumpf, S., Das, S., Shinsel, A., Bice, F. & McIntosh, K., Mar 2014, In: IEEE Transactions on Software Engineering. 40, 3, p. 307-323 17 p., 6682887.

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

    Open Access
    48 Scopus citations
  • 2013

    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 proceeding › Conference contribution

    106 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 proceeding › Conference contribution

    14 Scopus citations

  • Taming compiler fuzzers

    Chen, Y., Groce, A., Zhang, C., Wong, W. K., Fern, X., Eide, E. & Regehr, J., 2013, PLDI 2013 - Proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 197-207 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    87 Scopus citations

  • Taming compiler fuzzers

    Chen, Y., Groce, A., Zhang, C., Wong, W. K., Fern, X., Eide, E. & Regehr, J., Jun 2013, In: ACM SIGPLAN Notices. 48, 6, p. 197-207 11 p.

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

    54 Scopus citations
  • 2012

    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 proceeding › Conference contribution

    8 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 proceeding › Conference contribution

    10 Scopus citations

  • Learning-based test programming for programmers

    Groce, A., Fern, A., Erwig, M., Pinto, J., Bauer, T. & Alipour, A., 2012, Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings. PART 1 ed. p. 572-586 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7609 LNCS, no. PART 1).

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

    2 Scopus citations

  • Lightweight automated testing with adaptation-based programming

    Groce, A., Fern, A., Pinto, J., Bauer, T., Alipour, A., Erwig, M. & Lopez, C., 2012, Proceedings - 2012 IEEE 23rd International Symposium on Software Reliability Engineering, ISSRE 2012. p. 161-170 10 p. 6405364. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

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

    22 Scopus citations

  • Swarm testing

    Groce, A., Zhang, C., Eide, E., Chen, Y. & Regehr, J., 2012, 2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings. p. 78-88 11 p. (2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings).

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

    86 Scopus citations
  • 2011

    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 proceeding › Conference contribution

    15 Scopus citations

  • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

    Groce, A. & Musuvathi, M., 2011, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6823 LNCS, p. VI

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

  • Mini-crowdsourcing end-user assessment of intelligent assistants: A cost-benefit study

    Shinsel, A., Kulesza, T., Burnett, M., Curran, W., Groce, A., Stumpf, S. & Wong, W. K., 2011, Proceedings - 2011 IEEE Symposium on Visual Languages and Human Centric Computing, VL/HCC 2011. p. 47-54 8 p. 6070377. (Proceedings - 2011 IEEE Symposium on Visual Languages and Human Centric Computing, VL/HCC 2011).

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

    Open Access
    9 Scopus citations

  • Preface

    Groce, A. & Musuvathi, M., 2011, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6823 LNCS, p. 1 1 p.

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

  • Swarm verification techniques

    Holzmann, G. J., Joshi, R. & Groce, A., 2011, In: IEEE Transactions on Software Engineering. 37, 6, p. 845-857 13 p., 5661793.

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

    71 Scopus citations

  • Where are my intelligent assistant's mistakes? A systematic testing approach

    Kulesza, T., Burnett, M., Stumpf, S., Wong, W. K., Das, S., Groce, A., Shinsel, A., Bice, F. & McIntosh, K., 2011, End-User Development - Third International Symposium, IS-EUD 2011, Proceedings. p. 171-186 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6654 LNCS).

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

    Open Access
    14 Scopus citations
  • 2010

    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 journal › Conference article › peer-review

    Open Access
    4 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 journal › Article › peer-review

    71 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 proceeding › Conference contribution

    27 Scopus citations
  • 2009

    (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 proceeding › Conference contribution

    11 Scopus citations

  • 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 journal › Conference article › peer-review

    5 Scopus citations

  • Rule systems for runtime verification: A short tutorial

    Barringer, H., Havelund, K., Rydeheard, D. & Groce, A., 2009, Runtime Verification - 9th International Workshop, RV 2009, Selected Papers. p. 1-24 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5779 LNCS).

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

    21 Scopus citations
  • 2008

    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 journal › Article › peer-review

    2 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 proceeding › Conference contribution

    11 Scopus citations

  • Model driven code checking

    Holzmann, G. J., Joshi, R. & Groce, A., Dec 2008, In: Automated Software Engineering. 15, 3-4 SPEC. ISS., p. 283-297 15 p.

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

    28 Scopus citations

  • New challenges in model checking

    Holzmann, G. J., Joshi, R. & Groce, A., 2008, 25 Years of Model Checking - History, Achievements, Perspectives. p. 65-76 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5000 LNCS).

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

    4 Scopus citations

  • Random test run length and effectiveness

    Andrews, J. H., Grocer, A., Weston, M. & Xu, R. G., 2008, ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings. p. 19-28 10 p. 4639305. (ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings).

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

    46 Scopus citations

  • Swarm verification

    Holzmann, G. J., Joshi, R. & Groce, A., 2008, ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings. p. 1-6 6 p. 4639302. (ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings).

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

    37 Scopus citations

  • Tackling large verification problems with the swarm tool

    Holzmann, G. J., Joshi, R. & Groce, A., 2008, Model Checking Software - 15th International SPIN Workshop, Proceedings. p. 134-143 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5156 LNCS).

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

    22 Scopus citations
  • 2007

    Randomized differential testing as a prelude to formal verification

    Groce, A., Holzmann, G. & Joshi, R., 2007, Proceedings - 29th International Conference on Software Engineering, ICSE 2007. p. 621-630 10 p. 4222623. (Proceedings - International Conference on Software Engineering).

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

    Open Access
    105 Scopus citations

  • Verifying C++ with STL containers via predicate abstraction

    Blanc, N., Groce, A. & Kroening, D., 2007, ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering. p. 521-524 4 p. (ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering).

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

    Open Access
    23 Scopus citations
  • 2006

    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 journal › Article › peer-review

    37 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 journal › Article › peer-review

    134 Scopus citations

  • 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 proceeding › Conference contribution

    Open Access
    8 Scopus citations
  • 2005

    Making the most of BMC counterexamples

    Groce, A. & Kroening, D., Mar 14 2005, In: Electronic Notes in Theoretical Computer Science. 119, 2, p. 67-81 15 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    29 Scopus citations
  • 2004

    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 proceeding › Chapter

    44 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 journal › Article › peer-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 proceeding › Chapter

    Open Access
    74 Scopus citations

  • Explaining abstract counterexamples

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

    Research output: Contribution to conference › Paper › peer-review

    51 Scopus citations