Requirements Coverage as an Adequacy Measure for Conformance Testing. - Ajitha Rajan; Michael W. Whalen; Matt Staats; Mats Per Erik Heimdahl (ICFEM, 2008)

Partial Translation Verification for Untrusted Code-Generators. - Matthew Staats; Mats Per Erik Heimdahl (ICFEM, 2008)

ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. - Matt Staats; Weijia Deng; Ajitha Rajan; Mats Per Erik Heimdahl; Kurt Woodham (ASE, 2008)

Breaking and Provably Fixing Minx. - Erik Shimshock; Matt Staats; Nicholas Hopper (Privacy Enhancing Technologies, 2008)

Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder. - Matt Staats (NASA Formal Methods, 2009)

Parallel symbolic execution for structural test generation. - Matt Staats; Corina S. Pasareanu (ISSTA, 2010)

The influence of multiple artifacts on the effectiveness of software testing. - Matt Staats (ASE, 2010)

Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. - Matt Staats; Michael W. Whalen; Ajitha Rajan; Mats Per Erik Heimdahl (NASA Formal Methods, 2010)

Programs, tests, and oracles: the foundations of testing revisited. - Matt Staats; Michael W. Whalen; Mats Per Erik Heimdahl (ICSE, 2011)

Better testing through oracle selection. - Matt Staats; Michael W. Whalen; Mats Per Erik Heimdahl (ICSE, 2011)

On the Danger of Coverage Directed Test Case Generation. - Matt Staats; Gregory Gay 002; Michael W. Whalen; Mats Per Erik Heimdahl (FASE, 2012)

Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing. - Matt Staats; Gregory Gay 002; Mats Per Erik Heimdahl (ICSE, 2012)

Oracle-Centric Test Case Prioritization. - Matt Staats; Pablo S. Loyola; Gregg Rothermel (ISSRE, 2012)

Understanding user understanding: determining correctness of generated program invariants. - Matt Staats; Shin Hong; Moonzoo Kim; Gregg Rothermel (ISSTA, 2012)

NavClus: a graphical recommender for assisting code exploration. - Seonah Lee 001; Sungwon Kang; Matt Staats (ICSE, 2013)

Observable modified Condition/Decision coverage. - Michael W. Whalen; Gregory Gay 002; Dongjiang You; Mats Per Erik Heimdahl; Matt Staats (ICSE, 2013)

The Impact of Concurrent Coverage Metrics on Testing Effectiveness. - Shin Hong; Matt Staats; Jaemin Ahn; Moonzoo Kim; Gregg Rothermel (ICST, 2013)

Does automated white-box test generation really help software testers? - Gordon Fraser 001; Matt Staats; Phil McMinn; Andrea Arcuri; Frank Padberg (ISSTA, 2013)

Test Case Prioritization Based on Information Retrieval Concepts. - Jung-Hyun Kwon; In-Young Ko; Gregg Rothermel; Matt Staats (APSEC (1), 2014)

Moving the goalposts: coverage satisfaction is not enough. - Gregory Gay 002; Matt Staats; Michael W. Whalen; Mats Per Erik Heimdahl (SBST, 2014)

Dodona: automated oracle data set selection. - Pablo S. Loyola; Matt Staats; In-Young Ko; Gregg Rothermel (ISSTA, 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)

2nd International Workshop on Requirements Engineering and Testing (RET 2015). - Elizabeth Bjarnason; Mirko Morandini; Markus Borg; Michael Unterkalmsteiner; Michael Felderer; Matthew Staats (ICSE (2), 2015)

A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics. - Michael W. Whalen; Suzette Person; Neha Rungta; Matt Staats; Daniela Grijincu (ICSE (1), 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)

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)

Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study. - Gordon Fraser 001; Matt Staats; Phil McMinn; Andrea Arcuri; Frank Padberg (ACM Trans. Softw. Eng. Methodol., 2015)

The Risks of Coverage-Directed Test Case Generation. - Gregory Gay 002; Matt Staats; Michael W. Whalen; Mats Per Erik Heimdahl (IEEE Trans. Software Eng., 2015)

Automated Oracle Data Selection Support. - Gregory Gay 002; Matt Staats; Michael W. Whalen; Mats Per Erik Heimdahl (IEEE Trans. Software Eng., 2015)

The Impact of View Histories on Edit Recommendations. - Seonah Lee 001; Sungwon Kang; Sunghun Kim 001; Matthew Staats (IEEE Trans. Software Eng., 2015)

The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. - Gregory Gay 002; Ajitha Rajan; Matt Staats; Michael W. Whalen; Mats Per Erik Heimdahl (ACM Trans. Softw. Eng. Methodol., 2016)

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)