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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    30 Scopus citations
  • 2015

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

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

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

    9 Scopus citations
  • 2016

    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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Topsy-Turvy: A smarter and faster parallelization of mutation analysis

    Gopinath, R., Jensen, C. & Groce, A., May 14 2016, Proceedings - 5th International Workshop on Green and Sustainable Software, GREENS 2016. IEEE Computer Society, p. 740-743 4 p. (Proceedings - International Conference on Software Engineering).

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

    13 Scopus citations
  • 2017

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

  • 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