Matt Staats

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 6

Top Topics

Software Testing

Test Case Generation

Mutation Testing

Top Venues

ACM Trans. Softw. Eng. Methodol.

IEEE Trans. Software Eng.

Publications

Gregory Gay, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. ACM Trans. Softw. Eng. Methodol. 25 (3) (2016)
Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg
Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study. ACM Trans. Softw. Eng. Methodol. 24 (4) (2015)
Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
The Risks of Coverage-Directed Test Case Generation. IEEE Trans. Software Eng. 41 (8) (2015)
Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel
Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation. Softw. Test. Verification Reliab. 25 (4) (2015)
Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
Automated Oracle Data Selection Support. IEEE Trans. Software Eng. 41 (11) (2015)
Michael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu
A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics. ICSE (1) (2015)
Pablo S. Loyola, Matt Staats, In-Young Ko, Gregg Rothermel
Dodona: automated oracle data set selection. ISSTA (2014)
Jung-Hyun Kwon, In-Young Ko, Gregg Rothermel, Matt Staats
Test Case Prioritization Based on Information Retrieval Concepts. APSEC (1) (2014)
Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
Moving the goalposts: coverage satisfaction is not enough. SBST (2014)
Michael Felderer, Elizabeth Bjarnason, Markus Borg, Michael Unterkalmsteiner, Mirko Morandini, Matt Staats
Workshop Summary of the 1st International Workshop on Requirements and Testing (RET'14). CoRR (2014)
Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg
Does automated white-box test generation really help software testers? ISSTA (2013)
Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel
The Impact of Concurrent Coverage Metrics on Testing Effectiveness. ICST (2013)
Seonah Lee, Sungwon Kang, Matt Staats
NavClus: a graphical recommender for assisting code exploration. ICSE (2013)
Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats
Observable modified Condition/Decision coverage. ICSE (2013)
Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel
Understanding user understanding: determining correctness of generated program invariants. ISSTA (2012)
Matt Staats, Gregory Gay, Mats Per Erik Heimdahl
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing. ICSE (2012)
Matt Staats, Pablo S. Loyola, Gregg Rothermel
Oracle-Centric Test Case Prioritization. ISSRE (2012)
Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl
On the Danger of Coverage Directed Test Case Generation. FASE (2012)
Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
Better testing through oracle selection. ICSE (2011)
Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
Programs, tests, and oracles: the foundations of testing revisited. ICSE (2011)
Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. NASA Formal Methods (2010)
Matt Staats
The influence of multiple artifacts on the effectiveness of software testing. ASE (2010)
Matt Staats, Corina S. Pasareanu
Parallel symbolic execution for structural test generation. ISSTA (2010)
Matt Staats
Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder. NASA Formal Methods (2009)
Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. ASE (2008)
Erik Shimshock, Matt Staats, Nicholas Hopper
Breaking and Provably Fixing Minx. Privacy Enhancing Technologies (2008)
Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl
Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM (2008)