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

- Integrating Mutation Testing Into Developer Workflow: An Industrial Case Study

Stefan Alexander van Heijningen, Theo Wiik, Francisco Gomes de Oliveira Neto, Gregory Gay, Kim Viggedal, David Friberg - International Conference on Automated Software Engineering (Industry Track)

PDF
- An Intelligent Test Management System for Optimizing Decision Making During Software Testing

Albin Lönnfalt, Viktor Tu, Gregory Gay, Animesh Singh, Sahar Tahvili - Journal of Systems and Software

PDF
- A Framework for Managing Quality Requirements for Machine Learning-Based Software Systems

Khan Mohammad Habibullah, Gregory Gay, Jennifer Horkoff - International Conference on the Quality of Information and Communications Technology

PDF
- Testing, Debugging, and Log Analysis with Modern AI Tools

Miroslaw Staron, Silvia Abrahao, Gregory Gay, Alexander Serebrenik - IEEE Software (Practitioners' Digest)

PDF
- 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)

PDF
- 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

PDF
- 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

PDF

2023

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

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

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

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

PDF
- Exploring Genetic Improvement of the Carbon Footprint of Web Pages

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

PDF
- 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)

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

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

PDF
- 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

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

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

PDF
- 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

PDF
- 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

PDF
- 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)

PDF
- 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)

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

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

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

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

PDF

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

PDF
- 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)

PDF

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)

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

Hussein Almulla, Gregory Gay - Empirical Software Engineering Journal

PDF
- 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)

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

Afonso Fontes, Gregory Gay - International Workshop on Test Oracles

PDF

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)

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

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

PDF
- Bytecode-based Multiple Condition Coverage: An Initial Investigation

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

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

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

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

Hussein Almulla, Gregory Gay - International Conference on Software Testing

PDF

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

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

Gregory Gay - International Workshop on Search-Based Software Testing

PDF

2018

- Ensuring the Observability of Structural Test Obligations

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

PDF
- Mapping Class Dependencies for Fun and Profit

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

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

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

PDF
- Investigating Faults Missed by Test Suites Achieving High Code Coverage

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

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

Gregory Gay - International Workshop on Search-Based Software Testing

PDF
- Multifaceted Test Suite Generation Using Primary and Supporting Fitness Functions

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

PDF

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

PDF
- Generating Effective Test Suites by Combining Coverage Criteria

Gregory Gay - Symposium on Search-Based Software Engineering

PDF
- 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)

PDF

2016

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

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

PDF
- 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)

PDF
- 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

PDF

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

PDF
- Automated Oracle Data Selection Support

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

PDF
- The Risks of Coverage-Directed Test Case Generation

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

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

Gregory Gay - Doctoral Dissertation, University of Minnesota

PDF

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

PDF
- Steering Model-Based Oracles to Admit Real Program Behaviors

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

PDF
- 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)

PDF

2013

- Community-Assisted Software Engineering Decision Making

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

PDF
- Observable Modified Condition/Decision Coverage

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

PDF

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

PDF
- 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)

PDF

2011

- Sharing Experiments Using Open Source Software

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

PDF

2010

- A Baseline Method for Search-Based Software Engineering

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

PDF
- 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

PDF
- Automatically Finding the Control Variables for Complex System Behavior

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

PDF
- Measuring the Heterogeneity of Cross-company Datasets

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

PDF
- The Robust Optimization of Non-Linear Requirements Models

Gregory Gay - Masters Thesis, West Virginia University

PDF
- 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

PDF

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)

PDF
- How to Build Repeatable Experiments

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

PDF

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)

PDF

Teaching

DIT 636/DAT 560 - Software Quality and Testing

Chalmers and University of Gothenburg, Undergraduate

Spring 2024, Spring 2023, Spring 2022, Spring 2021, Spring 2020

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

Chalmers and University of Gothenburg, Undergraduate

Fall 2022, Fall 2021, Fall 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