| 2015 | ICSE | A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics. | Michael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu |
| 2014 | APSEC | Test Case Prioritization Based on Information Retrieval Concepts. | Jung-Hyun Kwon, In-Young Ko, Gregg Rothermel, Matt Staats |
| 2014 | ICSE | Moving the goalposts: coverage satisfaction is not enough. | Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl |
| 2014 | ISSTA | Dodona: automated oracle data set selection. | Pablo S. Loyola, Matt Staats, In-Young Ko, Gregg Rothermel |
| 2013 | ICSE | NavClus: a graphical recommender for assisting code exploration. | Seonah Lee, Sungwon Kang, Matt Staats |
| 2013 | ICSE | Observable modified Condition/Decision coverage. | Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats |
| 2013 | ICST | The Impact of Concurrent Coverage Metrics on Testing Effectiveness. | Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel |
| 2013 | ISSTA | Does automated white-box test generation really help software testers? | Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg |
| 2012 | FASE | On the Danger of Coverage Directed Test Case Generation. | Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl |
| 2012 | ICSE | 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 |
| 2012 | ISSRE | Oracle-Centric Test Case Prioritization. | Matt Staats, Pablo S. Loyola, Gregg Rothermel |
| 2012 | ISSTA | Understanding user understanding: determining correctness of generated program invariants. | Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel |
| 2011 | ICSE | Programs, tests, and oracles: the foundations of testing revisited. | Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl |
| 2011 | ICSE | Better testing through oracle selection. | Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl |
| 2010 | ISSTA | Parallel symbolic execution for structural test generation. | Matt Staats, Corina S. Pasareanu |
| 2008 | ICFEM | Requirements Coverage as an Adequacy Measure for Conformance Testing. | Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl |