Greg is a PhD student and research assistant at University of Minnesota under a NSF Graduate Research Fellowship, working with the Critical Systems research group. He received his BS and MS in Computer Science from West Virginia University.
Additionally, Greg has previously interned at NASA's Ames Research Center and Independent Verification & Validation Center, and spent time as a visiting academic at the Laboratory for Internet Software Technologies at the Chinese Academy of Sciences in Beijing.
When not working towards his degree, Greg writes about open source software, the impact of technology on human rights, video games, and "nerd culture." His work has previously appeared on 4 Color Rebellion, The Escapist, and Your Rights Online, among others.
Greg's research is primarly in the areas of search-based software engineering and automated software testing and analysis, with an emphasis on aspects of the test oracle problem. His current research focus is on construction of effective test oracles for real-time and safety critical systems, including methods of selecting oracle data and making comparisons.
His approach to addressing research problems is based on a data-centric approach, forming an intersection between search, optimization,
data mining, and artificial intelligence. He strives to harness the information content of software development artifacts
to improve the efficiency and quality of the testing process and to automate tasks in order to lessen the burden on human testers.
His past research has largely focused on the application of search, optimization, and information retrieval techniques to various software engineering tasks, including model optimization, requirements engineering, effort estimation, defect detection, and the traceability between source code and defect reports.
- PhD Computer Science, University of Minnesota.
Expected graduation date: Fall 2014.
Advisor: Dr. Mats Heimdahl.
Thesis title: Steering Model-Based Oracles to Admit Real Program Behaviors.
- M.S. Computer Science, West Virginia University.
Graduation date: Spring 2010.
Advisor: Dr. Tim Menzies.
Thesis title: Robust Optimization of Non-Linear Requirements Models.
- B.S. Computer Science, West Virginia University.
Graduation date: Spring 2008.
Senior project: LOUD Platform.
- E-Mail: greg [at] greggay dot com
- Phone: (304) 729-4734
- Google Hangouts: momoku [at] gmail dot com
- Skype: Greg4cr
- Address: 6-248 Keller Hall,
200 Union Street SE
Minneapolis, MN 55455
Documents of Interest
- Curriculum Vitae: (last updated 07/28/2014) PDF, HTML
- Research Statement: (last updated 07/28/2014) PDF, HTML
- Teaching Statement: (last updated 10/07/2013) PDF, HTML
- Improving the Accuracy of Oracle Verdicts Through Automated Model Steering
Gregory Gay, Sanjai Rayadurgam, Mats Heimdahl
Conference - ASE 2014 [PDF]
- Steering Model-Based Oracles to Admit Real Program Behaviors
Gregory Gay, Sanjai Rayadurgam, Mats Heimdahl
Conference - ICSE 2014 - NIER Track [PDF]
- Moving the Goalposts: Coverage Satisfaction is Not Enough
Gregory Gay, Matt Staats, Michael Whalen, Mats Heimdahl
Winner, Best Presentation Award
Workshop -SBST 2014 [PDF]
- Community-Assisted Software Engineering Decision Making
Gregory Gay, Mats Heimdahl
Workshop - RAISE 2013 [PDF]
- Observable Modified Condition/Decision Coverage
Michael Whalen, Gregory Gay, Dongjiang You, Mats Heimdahl, Matt Staats
Conference - ICSE 2013 [PDF]
- Automated Oracle Creation Support, or: How I Learned to Stop Worrying About Fault Propagation and Love Mutation Testing
Matt Staats, Gregory Gay, Mats Heimdahl
Conference - ICSE 2012 [PDF]
- On the Danger of Coverage Directed Test Case Generation
Matt Staats, Gregory Gay, Michael Whalen, Mats Heimdahl
Conference - FASE 2012 [PDF]
- A Baseline Method for Search-Based Software Engineering
Conference - PROMISE 2010 [PDF]
- Sharing Experiments Using Open Source Software
Adam Nelson, Tim Menzies, Gregory Gay
Journal - Software: Practice and Experience, 2010 [PDF]
- When to Use Data from Other Projects for Effort Estimation
Ekrem Kocaguneli, Gregory Gay, Yim Menzies, Ye Yang, and Jacky Keung
Conference - ASE 2010 [PDF]
- Automatically Finding the Control Variables for Complex System Behavior
Gregory Gay, Tim Menzies, Misty Davies, and Karen Gundy-Burlet
Journal - Automated Software Engineering, 2010
- Measuring the Heterogeneity of Cross-company Datasets
Jia Chen, Ye Yang, Wen Zhang, Gregory Gay
Conference - PROFES 2010 [PDF]
- The Robust Optimization of Non-Linear Requirements Models
Masters Thesis - WVU, Spring 2010 [PDF]
- Finding Robust Solutions in Requirements Models
Gregory Gay et.al.
Journal - Automated Software Engineering, January 2010
- On the use of Relevance Feedback in IR-based Concept Location
Gregory Gay, Sonia Haiduc, Andrian Marcus, Tim Menzies
Conference - ICSM 2009
- How to Build Repeatable Experiments
Gregory Gay, Tim Menzies, Burak Turhan, Bojan Cukic
Conference - Promise 2009
- Implications of Ceiling Effects in Defect Predictors
Tim Menzies et.al.
Conference - Promise 2008
More of Greg on the Internet