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

Search results

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    32 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

    95 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

    75 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

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

    10 Scopus citations