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 scolling or see my CV, research statement, or teaching statement.



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

CSCE 740 - Software Engineering

University of South Carolina, Graduate

CSCE 742 - Software Architecture

University of South Carolina, Graduate

CSCE 747 - Software Testing and Quality Assurance

University of South Carolina, Graduate

CSCE 791 - Seminar on Advances in Computing

University of South Carolina, Graduate

Service

Symposium on Search-Based Software Engineering (SSBSE)

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


2019
2017
2016 - 2019
2016 - Present



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


2019
2016, 2018
2017

International Conference on Software Engineering (ICSE)

Program Committee (Demonstrations Track)


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 Workshop on Actionable Analytics for SE (ACTION)

Program Committee


2015


2008 - 2010
2011 - 2012