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
20012022

Research activity per year

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

Search results

  • 2001

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

    Open Access
    19 Scopus citations
  • 2002

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

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

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

    20 Scopus citations

  • Model checking Java programs using structural heuristics

    Groce, A. & Visser, W., 2002, Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis. Frankl, P. G. (ed.). Association for Computing Machinery (ACM), p. 12-21 10 p. (Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis).

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

    62 Scopus citations
  • 2003

    Modular verification of software components in C

    Chaki, S., Clarke, E., Groce, A., Jha, S. & Veith, H., 2003, In: Proceedings - International Conference on Software Engineering. p. 385-395 11 p.

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

    194 Scopus citations

  • Predicate abstraction with minimum predicates

    Chaki, S., Clarke, E., Groce, A. & Strichman, O., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Geist, D. & Tronci, E. (eds.). Springer-Verlag, p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2860).

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

    Open Access
    34 Scopus citations

  • What went wrong: Explaining counterexamples

    Groce, A. & Visser, W., 2003, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2648, p. 121-135 15 p.

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

    147 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

    42 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
    73 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

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

    70 Scopus citations

  • Modular verification of software components in C

    Chaki, S., Clarke, E. M., Groce, A., Jha, S. & Veith, H., Jun 2004, In: IEEE Transactions on Software Engineering. 30, 6, p. 388-402 15 p.

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

    178 Scopus citations

  • Understanding counterexamples with explain

    Groce, A., Kroening, D. & Lerda, F., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer-Verlag, p. 453-456 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

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

    Open Access
    45 Scopus citations

  • VeriAgent: An approach to integrating UML and formal verification tools

    Mota, E., Clarke, E., Groce, A., Oliveira, W., Falcão, M. & Kanda, J., May 17 2004, In: Electronic Notes in Theoretical Computer Science. 95, p. 111-129 19 p.

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

    Open Access
    11 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
  • 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

    35 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

    126 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
  • 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

    97 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

    23 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

    27 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

    45 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

    35 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

    21 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

    4 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
  • 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
  • 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

    12 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

    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

    68 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

    14 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

    21 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

    76 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

    103 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

    13 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

    79 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

    49 Scopus citations