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.


Publications

2024

- Scoping of Non-Functional Requirements for Machine Learning Systems

Khan Mohammad Habibullah, Juan Garcia Diaz, Gregory Gay, Jennifer Horkoff - International Conference on Requirements Engineering (Posters)

- Exploring the Role of Automation in Duplicate Bug Report Detection: An Industrial Case Study

Malte Götharsson, Karl Stahre, Gregory Gay, Francisco Gomes de Oliveira Neto - International Conference on Automation of Software Test

- Requirements and Software Engineering for Automotive Perception Systems: An Interview Study

Khan Mohammad Habibullah, Hans-Martin Heyn, Gregory Gay, Jennifer Horkoff, Eric Knauss, Markus Borg, Alessia Knauss, Håakan Sivencrona, Polly Jing Li. - Requirements Engineering Journal

2023

- Improving the Readability of Generated Tests Using GPT-4 and ChatGPT Code Interpreter

Gregory Gay - Symposium on Search-Based Software Engineering (Challenge Track)

- Developer Views on Software Carbon Footprint and its Potential for Automated Reduction

Haozhou Lyu, Gregory Gay, Maiko Sakamoto - Symposium on Search-Based Software Engineering

- Exploring Genetic Improvement of the Carbon Footprint of Web Pages

Haozhou Lyu, Gregory Gay, Maiko Sakamoto - Symposium on Search-Based Software Engineering

- Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior

Eduard Paul Enoiu, Gregory Gay, Jameel Esber, Robert Feldt - International Conference on Testing Software and Systems (Best Paper Winner)

- How Do Different Types of Testing Goals Affect Test Case Design?

Dia Istanbuly, Max Zimmer, Gregory Gay - International Conference on Testing Software and Systems

- Search-Based Test Generation Targeting Non-Functional Quality Attributes of Android Apps

Teklit Berihu Gereziher, Selam Welu Gebrekrstos, Gregory Gay - Genetic and Evolutionary Computation Conference

- The Integration of Machine Learning into Automated Test Generation: A Systematic Mapping Study

Afonso Fontes, Gregory Gay - Wiley Software Testing, Verification and Reliability

- Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software

Rohini Bisht, Selomie Kindu Ejigu, Gregory Gay, Predrag Filipovikj - International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software

- Mutation Testing in Continuous Integration: An Exploratory Industrial Case Study

Jonathan Örgård, Gregory Gay, Francisco Gomes de Oliveira Neto, Kim Viggedal - International Workshop on Mutation Analysis

- Requirements Engineering for Automotive Perception Systems: an Interview Study

Khan Mohammad Habibullah, Hans-Martin Heyn, Gregory Gay, Jennifer Horkoff, Eric Knauss, Markus Borg, Alessia Knauss, Håkan Sivencrona, Polly Jing Li - International Working Conference on Requirement Engineering: Foundation for Software Quality (REFSQ)

- Test Maintenance for Machine Learning Systems: A Case Study in the Automotive Industry

Lukas Berglund, Tim Grube, Gregory Gay, Francisco Gomes de Oliveira Neto, Dimitrios Platis - International Conference on Software Testing (Industry Track)

- How Closely are Common Mutation Operators Coupled to Real Faults?

Gregory Gay, Alireza Salahirad - International Conference on Software Testing (Distinguished Paper Winner)

- Non-Functional Requirements for Machine Learning: Understanding Current Use and Challenges Among Practitioners

Khan Mohammad Habibullah, Gregory Gay, Jennifer Horkoff - Requirements Engineering Journal

2022

- Mapping the Structure and Evolution of Software Testing Research Over the Past Three Decades

Alireza Salahirad, Gregory Gay, Ehsan Mohammadi - Journal of Systems and Software

- 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

DIT 636/DAT 560 - Software Quality and Testing

Chalmers and University of Gothenburg, Undergraduate

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

Chalmers and University of Gothenburg, Undergraduate

DIT 092 - Miniproject: Team Programming

University of Gothenburg, Undergraduate

DIT 341 - Mobile and Web Development

University of Gothenburg, Undergraduate

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