Matt Staats

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