Gregory Gay

Associate Professor, Chalmers and the University of Gothenburg

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 Overview

At a glance:

Research areas and projects:

research mapping

Publications

2022

- Non-Functional Requirements for Machine Learning: An Exploration of System Scope and Interest

Khan Mohammad Habibullah, Gregory Gay, Jennifer Horkoff - Workshop on Software Engineering for Responsible AI (SE4RAI'22)

2021

- Automated Support for Unit Test Generation

Afonso Fontes, Gregory Gay, Francisco Gomes de Oliveria Neto, Robert Feldt - Book Chapter, from "Optimising the Software Development Process with Artificial Intelligence" (Springer)

- Learning How to Search: Generating Effective Test Cases Through Adaptive Fitness Function Selection

Hussein Almulla, Gregory Gay - Empirical Software Engineering Journal

- Efficient and Effective Generation of Test Cases for Pedestrian Detection - Search-based Software Testing of Baidu Apollo in SVL

Hamid Ebadi, Mahshid Helali Moghadam, Markus Borg, Gregory Gay, Afonso Fontes, Kasper Socha - International Conference on Artificial Intelligence Testing (Challenge Track)

- Using Machine Learning to Generate Test Oracles: A Systematic Literature Review

Afonso Fontes, Gregory Gay - International Workshop on Test Oracles

2020

- Defects4J as a Challenge Case for the Search-Based Software Engineering Community

Gregory Gay, Rene Just - Symposium on Search-Based Software Engineering (Challenge Cases Track)

- Generating Diverse Test Suites for Gson Through Adaptive Fitness Function Selection

Hussein Almulla, Gregory Gay - Symposium on Search-Based Software Engineering (Challenge Solutions Track)

- Bytecode-based Multiple Condition Coverage: An Initial Investigation

Srujana Bollina, Gregory Gay - Symposium on Search-Based Software Engineering (Replications and Negative Results Track)

- Understanding The Impact of Solver Choice in Model-Based Test Generation

Ying Meng, Gregory Gay - International Symposium on Empirical Software Engineering and Measurement

- Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection

Hussein Almulla, Gregory Gay - International Conference on Software Testing

2019

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

Alireza Salahirad, Hussein Almulla, Gregory Gay - Wiley Software Testing, Verification, and Reliability

- One-Size-Fits-None? Improving Test Generation Using Context-Optimized Fitness Functions

Gregory Gay - International Workshop on Search-Based Software Testing

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 (Most Influential Paper 2009-2019)

- 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

TDA 594/DIT 593 - Software Engineering Principles for Complex Systems

Chalmers and University of Gothenburg, Undergraduate

Fall 2021, Fall 2020

DIT 635 - Software Quality and Testing

University of Gothenburg, Undergraduate

Spring 2022, Spring 2021, Spring 2020

DIT 092 - Miniproject: Team Programming

University of Gothenburg, Undergraduate

Fall 2019

DIT 341 - Mobile and Web Development

University of Gothenburg, Undergraduate

Fall 2019

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

International Symposium on Search-Based Software Engineering (SSBSE)

NIER Track Co-Chair
Program Co-Chair
Publicity Co-Chair
Steering Committee
Program Committee

2020
2019
2017
2016 - 2019
2016 - Present

International Workshop on Requirements Engineering and Testing (RET)

General Chair
Program Co-Chair
Co-Chair

2019
2016, 2018
2017

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

Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Program Committee (Tool Demonstrations)

2020

Genetic and Evolutionary Computation Conference (GECCO)

Program Committee (Search-Based Software Engineering Track)

2018 - Present

International Conference on Automated Software Engineering (ASE)

North America Publicity Chair
Program Committee
Program Committee (Tool Demonstrations)

2012
2020
2019

International Conference on Software Engineering (ICSE)

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

2020
2019

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

Workshop Co-Chair
Program Committee

2018
2018 - Present

International Symposium on Software Testing and Analysis (ISSTA)

Program Committee (Tool Demonstrations)

2019

International Conference on Requirements Engineering (RE)

Web Chair

2012

ROSE Festival (Recognizing and Rewarding Open Science in Software Engineering)

Co-Chair

FSE 2019

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 Conference on Predictive Models in Software Engineering (PROMISE)

Web Chair
Program Committee

2008 - 2010
2011 - 2012

International Workshop on Actionable Analytics for SE (ACTION)

Program Committee

2015

International Workshop on Software Analytics (SWAN)

Program Committee

2017