Calculated based on number of publications stored in Pure and citations from Scopus
20012023

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    Contextual Predictive Mutation Testing

    Jain, K., Alon, U., Groce, A. & Le Goues, C., Nov 30 2023, ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Chandra, S., Blincoe, K. & Tonella, P. (eds.). Association for Computing Machinery, Inc, p. 250-261 12 p. (ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

    Open Access
  • Mind the Gap: The Difference between Coverage and Mutation Score Can Guide Testing Efforts

    Jain, K., Kalburgi, G. T., Le Goues, C. & Groce, A., 2023, Proceedings - 2023 IEEE 34th International Symposium on Software Reliability Engineering, ISSRE 2023. IEEE Computer Society, p. 102-113 12 p. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

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

    Open Access
  • 2022

    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

    4 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

    2 Scopus citations
  • 2021

    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

    10 Scopus citations
  • Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis

    Groce, A., Ahmed, I., Feist, J., Grieco, G., Gesi, J., Meidani, M. & Chen, Q., 2021, Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security, QRS 2021. Institute of Electrical and Electronics Engineers, p. 207-218 12 p. (IEEE International Conference on Software Quality, Reliability and Security, QRS; vol. 2021-December).

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

    6 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

  • 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

  • SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses

    Choi, J., Kim, D., Kim, S., Grieco, G., Groce, A. & Cha, S. K., 2021, Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021. Institute of Electrical and Electronics Engineers Inc., p. 227-239 13 p. (Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021).

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

    69 Scopus citations
  • 2020

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

    105 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

    5 Scopus citations
  • What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?

    Groce, A., Feist, J., Grieco, G. & Colburn, M., 2020, Financial Cryptography and Data Security - 24th International Conference, FC 2020, Revised Selected Papers. Bonneau, J. & Heninger, N. (eds.). Springer, p. 634-653 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12059 LNCS).

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

    Open Access
    16 Scopus citations
  • 2019

    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

    4 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

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

    Open Access
    219 Scopus citations
  • Slither: A static analysis framework for smart contracts

    Feist, J., Grieco, G. & Groce, A., May 2019, Proceedings - 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB 2019. Institute of Electrical and Electronics Engineers Inc., p. 8-15 8 p. 8823898. (Proceedings - 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB 2019).

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

    Open Access
    425 Scopus citations
  • 2018

    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

    29 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

    14 Scopus citations
  • Reduce before You Localize: Delta-Debugging and Spectrum-Based Fault Localization

    Christi, A., Olson, M. L., Alipour, M. A. & Groce, A., Nov 16 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018. Natella, R., Ghosh, S., Laranjeiro, N., Poston, R. & Cukic, B. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 184-191 8 p. 8539194. (Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018).

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

    21 Scopus citations
  • Target selection for test-based resource adaptation

    Christi, A. & Groce, A., Aug 2 2018, Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security, QRS 2018. Institute of Electrical and Electronics Engineers Inc., p. 458-469 12 p. 8424997. (Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security, QRS 2018).

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

    5 Scopus citations
  • Tutorial: DeepState: Bringing vulnerability detection tools into the development cycle

    Goodman, P., Grieco, G. & Groce, A., Nov 21 2018, Proceedings - 2018 IEEE Cybersecurity Development Conference, SecDev 2018. Institute of Electrical and Electronics Engineers Inc., p. 130-131 2 p. 8543400. (Proceedings - 2018 IEEE Cybersecurity Development Conference, SecDev 2018).

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

    3 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

    22 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
  • Resource Adaptation via Test-Based Software Minimization

    Christi, A., Groce, A. & Gopinath, R., Oct 9 2017, Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017. Institute of Electrical and Electronics Engineers Inc., p. 61-70 10 p. 8064030. (Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017).

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

    11 Scopus citations
  • The Theory of Composite Faults

    Gopinath, R., Jensen, C. & Groce, A., May 15 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Institute of Electrical and Electronics Engineers Inc., p. 47-57 11 p. 7927962. (Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017).

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

    26 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

    37 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

    23 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

    25 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

    39 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

    14 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

    21 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

    38 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

    16 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

    13 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

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

    40 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

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

    25 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

    76 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

    34 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

    105 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

    83 Scopus citations