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.
Filter
Conference contribution

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., 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 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

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

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

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

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

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

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

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

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

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

    Open Access
    6 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 proceedingConference contribution

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

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

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

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

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

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

    4 Scopus citations