Gregg Rothermel

Affiliations:
  • University of Nebraska-Lincoln, USA


According to our database1, Gregg Rothermel authored at least 174 papers between 1993 and 2023.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2017, "For contributions to software testing and end-user software engineering".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Test Case Generation and Test Oracle Support for Testing CPSs using Hybrid Models.
CoRR, 2023

2022
Survey on test case generation, selection and prioritization for cyber-physical systems.
Softw. Test. Verification Reliab., 2022

Assessing expert system-assisted literature reviews with a case study.
Expert Syst. Appl., 2022

2021
SEMEO: A Semantic Equivalence Analysis Framework for Obfuscated Android Applications.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking and Services, 2021

ReHAna: An Efficient Program Analysis Framework to Uncover Reflective Code in Android.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking and Services, 2021

2020
Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
Jitana: A modern hybrid program analysis framework for android platforms.
J. Comput. Lang., 2019

How end-user programmers debug visual web-based programs: An information foraging theory perspective.
J. Comput. Lang., 2019

Searching for Better Test Case Prioritization Schemes: a Case Study of AI-assisted Systematic Literature Review.
CoRR, 2019

TERMINATOR: better automated UI test case prioritization.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Supervised tie breaking in test case prioritization.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018
A hybrid approach to testing for nonfunctional faults in embedded systems using genetic algorithms.
Softw. Test. Verification Reliab., 2018

What happened to my application? Helping end users comprehend evolution through variation management.
Inf. Softw. Technol., 2018

Improving regression testing in continuous integration development environments (keynote).
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2018

Redefining prioritization: continuous prioritization for continuous integration.
Proceedings of the 40th International Conference on Software Engineering, 2018

Prioritizing browser environments for web application test execution.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
An automated framework to support testing for process-level race conditions.
Softw. Test. Verification Reliab., 2017

An efficient, robust, and scalable approach for analyzing interacting android apps.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
A Cost-Effective Random Testing Method for Programs with Non-Numeric Inputs.
IEEE Trans. Computers, 2016

WATERFALL: an incremental approach for repairing record-replay tests of web applications.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

The Effect of Test Suite Type on Regression Test Selection.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Why do Record/Replay Tests of Web Applications Break?
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015
Directed test suite augmentation: an empirical investigation.
Softw. Test. Verification Reliab., 2015

Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation.
Softw. Test. Verification Reliab., 2015

On the use of delta debugging to reduce recordings and facilitate debugging of web applications.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2014
A Unified Test Case Prioritization Approach.
ACM Trans. Softw. Eng. Methodol., 2014

On the benefits of providing versioning support for end users: An empirical study.
ACM Trans. Comput. Hum. Interact., 2014

An approach to testing commercial embedded systems.
J. Syst. Softw., 2014

Comparing model-based and dynamic event-extraction based GUI testing techniques: An empirical study.
J. Syst. Softw., 2014

Techniques for improving regression testing in continuous integration development environments.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Dodona: automated oracle data set selection.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Hybrid Directed Test Suite Augmentation: An Interleaving Framework.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

SimRT: an automated framework to support regression testing for data races.
Proceedings of the 36th International Conference on Software Engineering, 2014

Software testing: a research travelogue (2000-2014).
Proceedings of the on Future of Software Engineering, 2014

Test Case Prioritization Based on Information Retrieval Concepts.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces.
Softw. Test. Verification Reliab., 2013

Predator behavior in the wild web world of bugs: An information foraging theory perspective.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Continuous test suite augmentation in software product lines.
Proceedings of the 17th International Software Product Line Conference, 2013

Testing properties of dataflow program operators.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

SimRacer: an automated framework to support testing for process-level races.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

An empirical comparison of the fault-detection capabilities of internal oracles.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Semantic characterization of MapReduce workloads.
Proceedings of the IEEE International Symposium on Workload Characterization, 2013

Oracle-based Regression Test Selection.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

The Impact of Concurrent Coverage Metrics on Testing Effectiveness.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Bridging the gap between the total and additional test-case prioritization strategies.
Proceedings of the 35th International Conference on Software Engineering, 2013

Debugging support for end user mashup programming.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

2012
A Static Approach to Prioritizing JUnit Test Cases.
IEEE Trans. Software Eng., 2012

SimTester: a controllable and observable testing framework for embedded systems.
Proceedings of the 8th International Conference on Virtual Execution Environments, 2012

Understanding user understanding: determining correctness of generated program invariants.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

Oracle-Centric Test Case Prioritization.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

On the Relative Strengths of Model-Based and Dynamic Event Extraction-Based GUI Testing Techniques: An Empirical Study.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

On-demand test suite reduction.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
The state of the art in end-user software engineering.
ACM Comput. Surv., 2011

History repeats itself more easily when you log it: Versioning for mashups.
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

A Hybrid Directed Test Suite Augmentation Technique.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Versioning for Mashups - An Exploratory Study.
Proceedings of the End-User Development - Third International Symposium, 2011

Using Property-Based Oracles when Testing Embedded System Applications.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010
The Effects of Time Constraints on Test Case Prioritization: A Series of Controlled Experiments.
IEEE Trans. Software Eng., 2010

Experimental program analysis.
Inf. Softw. Technol., 2010

Improving the Testing and Testability of Software Product Lines.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Directed test suite augmentation: techniques and tradeoffs.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Factors affecting the use of genetic algorithms in test suite augmentation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Testing Inter-layer and Inter-task Interactions in RTES Applications.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
Revealing the copy and paste habits of end users.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

Regression model checking.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Directed Test Suite Augmentation.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008
Using assertions to help end-user programmers create dependable web macros.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

An empirical study of the effect of time constraints on the cost-benefits of regression testing.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Configuration-aware regression testing: an empirical study of sampling and prioritization.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Using sensitivity analysis to create simplified economic models for regression testing.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks.
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

Predicting accurate and actionable static analysis warnings: an experimental approach.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Using component metadata to regression test component-based software.
Softw. Test. Verification Reliab., 2007

Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Dynamic Characterization of Web Application Interfaces.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

Helping End-User Programmers "Engineer" Software: an Opportunity for Empirical Researchers.
Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

Dependability in Web Software.
Proceedings of the End-User Software Engineering, 18.02. - 23.02.2007, 2007

A Methodology to Improve Dependability in Spreadsheets.
Proceedings of the End-User Software Engineering, 18.02. - 23.02.2007, 2007

07081 Abstracts Collection - End-User Software Engineering.
Proceedings of the End-User Software Engineering, 18.02. - 23.02.2007, 2007

07081 Executive Summary - End-User Software Engineering.
Proceedings of the End-User Software Engineering, 18.02. - 23.02.2007, 2007

2006
An Integrated Software Engineering Approach for End-User Programmers.
Proceedings of the End User Development, 2006

Interactive Fault Localization Techniques in a Spreadsheet Environment.
IEEE Trans. Software Eng., 2006

On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques.
IEEE Trans. Software Eng., 2006

Integrating automated test generation into the WYSIWYT spreadsheet testing methodology.
ACM Trans. Softw. Eng. Methodol., 2006

Testing across configurations: implications for combinatorial testing.
ACM SIGSOFT Softw. Eng. Notes, 2006

Prioritizing JUnit Test Cases: An Empirical Assessment and Cost-Benefits Analysis.
Empir. Softw. Eng., 2006

An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Helping End-User Programmers "Engineer' Dependable Software.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Experimental program analysis: a new program analysis paradigm.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Scaling a Dataflow Testing Methodology to the MultiparadigmWorld of Commercial Spreadsheets.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

An empirical evaluation of a testing and debugging methodology for Excel.
Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE 2006), 2006

2005
Guest Editor's Introduction: 2004 IEEE International Symposium on Software Testing and Analysis.
IEEE Trans. Software Eng., 2005

Leveraging User-Session Data to Support Web Application Testing.
IEEE Trans. Software Eng., 2005

An empirical study of regression test application frequency.
Softw. Test. Verification Reliab., 2005

The EUSES spreadsheet corpus: a shared resource for supporting experimentation with spreadsheet dependability mechanisms.
ACM SIGSOFT Softw. Eng. Notes, 2005

Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact.
Empir. Softw. Eng., 2005

How Well Do Professional Developers Test with Code Coverage Visualizations? An Empirical Study.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Helping End-Users "Engineer" Dependable Web Applications.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

An empirical study of fault localization for end-user programmers.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

The first workshop on end-user software engineering.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004
On test suite composition and cost-effective regression testing.
ACM Trans. Softw. Eng. Methodol., 2004

Selecting a Cost-Effective Test Case Prioritization Technique.
Softw. Qual. J., 2004

Building an infrastructure to support experimentation with software testing techniques.
ACM SIGSOFT Softw. Eng. Notes, 2004

End-user software engineering.
Commun. ACM, 2004

Using Source-Code Analysis to Help End-User Programmers Create Dependable Software.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Empirical Studies of Test Case Prioritization in a JUnit Testing Environment.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Infrastructure Support for Controlled Experimentation with Software Testing and Regression Testing Techniques.
Proceedings of the 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 2004

An Empirical Comparison of Dynamic Impact Analysis Algorithms.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
Understanding the effects of changes on the cost-effectiveness of regression testing techniques.
Softw. Test. Verification Reliab., 2003

Putting Your Best Tests Forward.
IEEE Softw., 2003

End-User Testing for the Lyee Methodology using the Screen Transition Paradigm and WYSIWYT.
Knowl. Based Syst., 2003

Generalizing WYSIWYT visual testing to screen transition languages.
Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

Incremental Dynamic Impact Analysis for Evolving Software Systems.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

An Empirical Comparison of Two Safe Regression Test Selection Techniques.
Proceedings of the 2003 International Symposium on Empirical Software Engineering (ISESE 2003), 30 September, 2003

Whole Program Path-Based Dynamic Impact Analysis.
Proceedings of the 25th International Conference on Software Engineering, 2003

Improving Web Application Testing with User Session Data.
Proceedings of the 25th International Conference on Software Engineering, 2003

End-User Software Engineering with Assertions in the Spreadsheet Paradigm.
Proceedings of the 25th International Conference on Software Engineering, 2003

Harnessing curiosity to increase correctness in end-user programming.
Proceedings of the 2003 Conference on Human Factors in Computing Systems, 2003

2002
Test Case Prioritization: A Family of Empirical Studies.
IEEE Trans. Software Eng., 2002

Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology.
IEEE Trans. Software Eng., 2002

Empirical studies of test-suite reduction.
Softw. Test. Verification Reliab., 2002

Can fault-exposure-potential estimates improve the fault detection abilities of test suites?
Softw. Test. Verification Reliab., 2002

Test Reuse in the Spreadsheet Paradigm.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Modeling the Cost-Benefits Tradeoffs for Regression Testing Techniques.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Path Profile-Based Dynamic Impact Analysis.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

The impact of test suite granularity on the cost-effectiveness of regression testing.
Proceedings of the 24th International Conference on Software Engineering, 2002

Automated test case generation for spreadsheets.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
Prioritizing Test Cases For Regression Testing.
IEEE Trans. Software Eng., 2001

Empirical Studies of a Prediction Model for Regression Test Selection.
IEEE Trans. Software Eng., 2001

Interprocedural control dependence.
ACM Trans. Softw. Eng. Methodol., 2001

A methodology for testing spreadsheets.
ACM Trans. Softw. Eng. Methodol., 2001

An empirical study of regression test selection techiques.
ACM Trans. Softw. Eng. Methodol., 2001

A comparative study of coarse- and fine-grained safe regression test-selection techniques.
ACM Trans. Softw. Eng. Methodol., 2001

Visually Testing Recursive Programs in Spreadsheet Languages.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Understanding and Measuring the Sources of Variation in the Prioritization of Regression Test Suites.
Proceedings of the 7th IEEE International Software Metrics Symposium (METRICS 2001), 2001

Using Component Metacontent to Support the Regression Testing of Component-Based Software.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Incorporating Incremental Validation and Impact Analysis into Spreadsheet Maintenance: An Empirical Study.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

The Impact of Software Evolution on Code Coverage Information.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization.
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
Regression Test Selection for C++ Software.
Softw. Test. Verification Reliab., 2000

An Empirical Investigation of the Relationship Between Spectra Differences and Regression Faults.
Softw. Test. Verification Reliab., 2000

Testing and maintaining evolving software systems.
ACM SIGSOFT Softw. Eng. Notes, 2000

Prioritizing test cases for regression testing.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999
Scaling up a "What You See Is What You Test" Methodology to Spreadsheet Grids.
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Test Case Prioritization: An Empirical Study.
Proceedings of the 1999 International Conference on Software Maintenance, 1999

System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Slicing spreadsheets: an integrated methodology for spreadsheet testing and debugging.
Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), 1999

1998
Empirical Studies of a Safe Regression Test Selection Technique.
IEEE Trans. Software Eng., 1998

Empirical Studies of Control Dependence Graph Size for C Programs.
Empir. Softw. Eng., 1998

Empirical Studies of Software Maintenance: A Report from WESS '97.
Empir. Softw. Eng., 1998

An Empirical Investigation of Program Spectra.
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998

Computation of Interprocedural Control Dependence.
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

An Empirical Study of the Effects of Minimization on the Fault Detection Capabilities of Test Suites.
Proceedings of the 1998 International Conference on Software Maintenance, 1998

What You See Is What You Test: A Methodology for Testing Form-Based Visual Programs.
Proceedings of the Forging New Links, 1998

An Empirical Study of Regression Test Selection Techniques.
Proceedings of the Forging New Links, 1998

1997
A Safe, Efficient Regression Test Selection Technique.
ACM Trans. Softw. Eng. Methodol., 1997

Experience With Regression Test Selection.
Empir. Softw. Eng., 1997

Testing strategies for form-based visual programs.
Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

1996
Analyzing Regression Test Selection Techniques.
IEEE Trans. Software Eng., 1996

Separate Computation of Alias Information for Reuse.
IEEE Trans. Software Eng., 1996

An Experimental Determination of Sufficient Mutant Operators.
ACM Trans. Softw. Eng. Methodol., 1996

1995
Aristotle: a system for development of program analysis based tools.
Proceedings of the 33th Annual Southeast Regional Conference, 1995

1994
Performing Data Flow Testing on Classes.
Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

Selecting Tests and Identifying Test Coverage Requirements for Modified Software.
Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

Selecting Regression Tests for Object-Oriented Software.
Proceedings of the International Conference on Software Maintenance, 1994

A Framework for Evaluating Regression Test Selection Techniques.
Proceedings of the 16th International Conference on Software Engineering, 1994

1993
Efficient Construction of Program Dependence Graphs.
Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

A Safe, Efficient Algorithm for Regression Test Selection.
Proceedings of the Conference on Software Maintenance, 1993

An Experimental Evaluation of Selective Mutation.
Proceedings of the 15th International Conference on Software Engineering, 1993


  Loading...