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

Filter
Conference contribution

Search results

  • 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

    83 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

    14 Scopus citations

  • 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

  • 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

    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

  • 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

    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

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

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

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