Matthew Staats

According to our database, Matthew Staats authored at least 32 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Summary of 2nd International Workshop on Requirements Engineering and Testing (RET).

Elizabeth Bjarnason, Mirko Morandini, Markus Borg, Michael Unterkalmsteiner, Michael Felderer, Matthew Staats

CoRR, 2023

2016

The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage.

Gregory Gay, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

ACM Trans. Softw. Eng. Methodol., 2016

2015

The Impact of View Histories on Edit Recommendations.

Seonah Lee, Sungwon Kang, Sunghun Kim, Matthew Staats

IEEE Trans. Software Eng., 2015

Automated Oracle Data Selection Support.

Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

IEEE Trans. Software Eng., 2015

The Risks of Coverage-Directed Test Case Generation.

Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

IEEE Trans. Software Eng., 2015

Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study.

Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg

ACM Trans. Softw. Eng. Methodol., 2015

Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation.

Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel

Softw. Test. Verification Reliab., 2015

Summary of 2nd International Workshop on Requirements Engineering and Testing (RET 2015): Co-located with ICSE 2015.

Elizabeth Bjarnason, Markus Borg, Mirko Morandini, Michael Unterkalmsteiner, Michael Felderer, Matthew Staats

ACM SIGSOFT Softw. Eng. Notes, 2015

A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics.

Michael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2nd International Workshop on Requirements Engineering and Testing (RET 2015).

Elizabeth Bjarnason, Mirko Morandini, Markus Borg, Michael Unterkalmsteiner, Michael Felderer, Matthew Staats

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Workshop Summary of the 1st International Workshop on Requirements and Testing (RET'14).

Michael Felderer, Elizabeth Bjarnason, Markus Borg, Michael Unterkalmsteiner, Mirko Morandini, Matt Staats

CoRR, 2014

Dodona: automated oracle data set selection.

Pablo S. Loyola, Matt Staats, In-Young Ko, Gregg Rothermel

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Moving the goalposts: coverage satisfaction is not enough.

Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the 7th International Workshop on Search-Based Software Testing, 2014

Test Case Prioritization Based on Information Retrieval Concepts.

Jung-Hyun Kwon, In-Young Ko, Gregg Rothermel, Matt Staats

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Does automated white-box test generation really help software testers?

Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg

Proceedings of the International Symposium on Software Testing and Analysis, 2013

The Impact of Concurrent Coverage Metrics on Testing Effectiveness.

Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Observable modified Condition/Decision coverage.

Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats

Proceedings of the 35th International Conference on Software Engineering, 2013

NavClus: a graphical recommender for assisting code exploration.

Seonah Lee, Sungwon Kang, Matt Staats

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Understanding user understanding: determining correctness of generated program invariants.

Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Oracle-Centric Test Case Prioritization.

Matt Staats, Pablo S. Loyola, Gregg Rothermel

Proceedings of the 23rd IEEE International Symposium on Software Reliability 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 Per Erik Heimdahl

Proceedings of the 34th International Conference on Software Engineering, 2012

On the Danger of Coverage Directed Test Case Generation.

Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Better testing through oracle selection.

Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the 33rd International Conference on Software Engineering, 2011

Programs, tests, and oracles: the foundations of testing revisited.

Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness.

Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl

Proceedings of the Second NASA Formal Methods Symposium, 2010

The influence of multiple artifacts on the effectiveness of software testing.

Matt Staats

Proceedings of the ASE 2010, 2010

Parallel symbolic execution for structural test generation.

Matt Staats, Corina S. Pasareanu

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

2009

Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder.

Matt Staats

Proceedings of the First NASA Formal Methods Symposium, 2009

2008

Breaking and Provably Fixing Minx.

Erik Shimshock, Matt Staats, Nicholas Hopper

Proceedings of the Privacy Enhancing Technologies, 2008

ReqsCov: A Tool for Measuring Test-Adequacy over Requirements.

Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Partial Translation Verification for Untrusted Code-Generators.

Matthew Staats, Mats Per Erik Heimdahl

Proceedings of the Formal Methods and Software Engineering, 2008

Requirements Coverage as an Adequacy Measure for Conformance Testing.

Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl

Proceedings of the Formal Methods and Software Engineering, 2008