Gregory Gay

Assistant Professor, University of South Carolina

Our society depends on complex software. My research focuses on search-based software engineering and automated software testing and analysis, and I blend optimization, artificial intelligence, and machine learning techniques in order to help developers deliver those systems in a safe, secure, and efficient manner.

For more, continue scrolling or see my CV, research statement, or teaching statement.

Research Overview

At a glance:

Research areas and projects:

research mapping

Publications

2018

- Ensuring the Observability of Structural Test Obligations

Ying Meng, Gregory Gay, Michael Whalen - IEEE Transactions on Software Engineering

- Mapping Class Dependencies for Fun and Profit

Allen Kanapala, Gregory Gay - Symposium on Search-Based Software Engineering (Hot Off the Press Track)

- Detecting Real Faults in the Gson Library Through Search-Based Unit Test Generation

Gregory Gay - Symposium on Search-Based Software Engineering, Challenge Track

- Investigating Faults Missed by Test Suites Achieving High Code Coverage

Amanda Schwartz, Daniel Puckett, Ying Meng, Gregory Gay - Journal of Systems and Software

- To Call, or Not to Call: Contrasting Direct and Indirect Branch Coverage in Test Generation

Gregory Gay - International Workshop on Search-Based Software Testing

- Multifaceted Test Suite Generation Using Primary and Supporting Fitness Functions

Gregory Gay - International Workshop on Search-Based Software Testing (Best Presentation Winner)

2017

- Using Search-Based Test Generation to Discover Real Faults in Guava

Hussein Almulla, Alireza Salahirad, Gregory Gay - Symposium on Search-Based Software Engineering, Challenge Track

- Generating Effective Test Suites by Combining Coverage Criteria

Gregory Gay - Symposium on Search-Based Software Engineering

- The Fitness Function for the Job: Search-Based Generation of Test Suites that Detect Real Faults

Gregory Gay - International Conference on Software Testing, Verification, and Validation (Best Paper Nominee)

2016

- Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors

Gregory Gay, Sanjai Rayadurgam, Mats Heimdahl - IEEE Transactions on Software Engineering

- Challenges in Using Search-Based Test Generation to Identify Real Faults in Mockito

Gregory Gay - Symposium on Search-Based Software Engineering, Challenge Track (Best Challenge Track Paper Winner)

- The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage

Gregory Gay, Ajitha Rajan, Matt Staats, Michael Whalen, Mats P.E. Heimdahl - ACM Transactions on Software Engineering and Methodology

2015

- Efficient Observability-based Test Generation by Dynamic Symbolic Execution

Dongjiang You, Sanjai Rayadurgam, Michael Whalen, Mats P.E. Heimdahl, Gregory Gay - International Symposium on Software Reliability Engineering

- Automated Oracle Data Selection Support

Gregory Gay, Matt Staats, Michael Whalen, Mats P.E. Heimdahl - IEEE Transactions on Software Engineering

- The Risks of Coverage-Directed Test Case Generation

Gregory Gay, Matt Staats, Michael Whalen, Mats P.E. Heimdahl - IEEE Transactions on Software Engineering

- Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors

Gregory Gay - Doctoral Dissertation, University of Minnesota

2014

- Improving the Accuracy of Oracle Verdicts Through Automated Model Steering

Gregory Gay, Sanjai Rayadurgam, Mats P.E. Heimdahl - International Conference on Automated Software Engineering

- Steering Model-Based Oracles to Admit Real Program Behaviors

Gregory Gay, Sanjai Rayadurgam, Mats P.E. Heimdahl - International Conference on Software Engineering, NIER Track

- Moving the Goalposts: Coverage Satisfaction is Not Enough

Gregory Gay, Matt Staats, Michael Whalen, Mats P.E. Heimdahl - International Workshop on Search-Based Software Testing (Best Presentation Winner)

2013

- Community-Assisted Software Engineering Decision Making

Gregory Gay, Mats P.E. Heimdahl - International Workshop on Realizing AI Synergies in Software Engineering (RAISE)

- Observable Modified Condition/Decision Coverage

Michael Whalen, Gregory Gay, Dongjiang You, Mats P.E. Heimdahl, Matt Staats - International Conference on Software Engineering

2012

- Automated Oracle Creation Support, or: How I Learned to Stop Worrying About Fault Propagation and Love Mutation Testing

Matt Staats, Gregory Gay, Mats P.E. Heimdahl - International Conference on Software Engineering

- On the Danger of Coverage Directed Test Case Generation

Matt Staats, Gregory Gay, Michael Whalen, Mats P.E. Heimdahl - Conference on Fundamental Approaches to Software Engineering (FASE)

2011

- Sharing Experiments Using Open Source Software

Adam Nelson, Tim Menzies, Gregory Gay - Software: Practice and Experience

2010

- A Baseline Method for Search-Based Software Engineering

Gregory Gay - International Workshop on Predictive Models in SE (PROMISE)

- When to Use Data from Other Projects for Effort Estimation

Ekrem Kocaguneli, Gregory Gay, Tim Menzies, Ye Yang, and Jacky Keung - International Conference on Automated Software Engineering

- Automatically Finding the Control Variables for Complex System Behavior

Gregory Gay, Tim Menzies, Misty Davies, and Karen Gundy-Burlet - Automated Software Engineering Journal

- Measuring the Heterogeneity of Cross-company Datasets

Jia Chen, Ye Yang, Wen Zhang, Gregory Gay - International Conference on Product-Focused Software Process Improvement (PROFES)

- The Robust Optimization of Non-Linear Requirements Models

Gregory Gay - Masters Thesis, West Virginia University

- Finding Robust Solutions in Requirements Models

Gregory Gay, Tim Menzies, Omid Jalali, Gregory Mundy, Beau Gilkerson, Martin Feather, and James Kiper - Automated Software Engineering Journal

2009

- On the use of Relevance Feedback in IR-based Concept Location

Gregory Gay, Sonia Haiduc, Andrian Marcus, Tim Menzies - International Conference on Software Maintenance

- How to Build Repeatable Experiments

Gregory Gay, Tim Menzies, Burak Turhan, Bojan Cukic - International Workshop on Predictive Models in SE (PROMISE)

2008

- Implications of Ceiling Effects in Defect Predictors

Tim Menzies, Burak Turhan, Ayse Bener, Gregory Gay, Bojan Cukic, Yue Jiang - International Workshop on Predictive Models in SE (PROMISE)

Teaching

CSCE 247 - Software Engineering

University of South Carolina, Undergraduate

Spring 2019

CSCE 740 - Software Engineering

University of South Carolina, Graduate

Fall 2017, Fall 2016, Fall 2015

CSCE 742 - Software Architecture

University of South Carolina, Graduate

Fall 2018

CSCE 747 - Software Testing and Quality Assurance

University of South Carolina, Graduate

Spring 2018, Spring 2017, Spring 2016

CSCE 791 - Seminar on Advances in Computing

University of South Carolina, Graduate

Fall 2017, Spring 2016

Service

Symposium on Search-Based Software Engineering (SSBSE)

Program Co-Chair
Publicity Co-Chair
Steering Committee
Program Committee

2019
2017
2016 - 2019
2016 - Present

International Conference on Software Testing, Verification, and Validation (ICST)

Workshop Co-Chair
Program Committee

2018
2018 - Present

International Workshop on Search-Based Software Testing (SBST)

Workshop Co-Chair
Steering Committee Chair
Steering Committee Deputy Chair
Steering Committee
Program Committee

2015 - 2016
2016 - 2017
2017 - 2018
2015 - 2020
2017 - Present

International Workshop on Requirements Engineering and Testing (RET)

General Chair
Program Co-Chair
Co-Chair

2019
2016, 2018
2017

International Conference on Software Engineering (ICSE)

Program Committee (Poster Track)
Program Committee (Demonstrations Track)

2020
2019

International Conference on Automated Software Engineering (ASE)

North America Publicity Chair
Program Committee (Tool Demonstrations)

2012
2019

Genetic and Evolutionary Computation Conference (GECCO)

Program Committee (Search-Based Software Engineering Track)

2018 - Present

European Conference on the Applications of Evolutionary Computing (EvoApplications)

Program Committee (Nature-inspired algorithms in Software Engineering and Testing Track)

2017 - Present

International Conference on Advances in System Testing and Validation Lifecycle (VALID)

Program Committee

2017 - Present

International Workshop on Software Analytics (SWAN)

Program Committee

2017

International Workshop on Actionable Analytics for SE (ACTION)

Program Committee

2015

International Conference on Predictive Models in Software Engineering (PROMISE)

Web Chair
Program Committee

2008 - 2010
2011 - 2012

International Conference on Requirements Engineering (RE)

Web Chair

2012