| Parallel symbolic execution for structural test generation M Staats, C Pǎsǎreanu Proceedings of the 19th international symposium on Software testing and …, 2010 | 209 | 2010 |
| Programs, tests, and oracles: the foundations of testing revisited M Staats, MW Whalen, MPE Heimdahl Proceedings of the 33rd international conference on software engineering …, 2011 | 139 | 2011 |
| The risks of coverage-directed test case generation G Gay, M Staats, M Whalen, MPE Heimdahl IEEE Transactions on Software Engineering 41 (8), 803-819, 2015 | 135 | 2015 |
| Does automated unit test generation really help software testers? a controlled empirical study G Fraser, M Staats, P McMinn, A Arcuri, F Padberg ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (4), 1-49, 2015 | 123 | 2015 |
| Does automated white-box test generation really help software testers? G Fraser, M Staats, P McMinn, A Arcuri, F Padberg Proceedings of the 2013 International Symposium on Software Testing and …, 2013 | 107 | 2013 |
| On the danger of coverage directed test case generation M Staats, G Gay, M Whalen, M Heimdahl Fundamental Approaches to Software Engineering: 15th International …, 2012 | 104 | 2012 |
| Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing M Staats, G Gay, MPE Heimdahl 2012 34th International Conference on Software Engineering (ICSE), 870-880, 2012 | 93 | 2012 |
| Observable modified condition/decision coverage M Whalen, G Gay, D You, MPE Heimdahl, M Staats 2013 35th International Conference on Software Engineering (ICSE), 102-111, 2013 | 71 | 2013 |
| The effect of program and model structure on the effectiveness of mc/dc test adequacy coverage G Gay, A Rajan, M Staats, M Whalen, MPE Heimdahl ACM Transactions on Software Engineering and Methodology (TOSEM) 25 (3), 1-34, 2016 | 47 | 2016 |
| Understanding user understanding: determining correctness of generated program invariants M Staats, S Hong, M Kim, G Rothermel Proceedings of the 2012 International Symposium on Software Testing and …, 2012 | 44 | 2012 |
| Oracle-centric test case prioritization M Staats, P Loyola, G Rothermel 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012 | 41 | 2012 |
| Automated oracle data selection support G Gay, M Staats, M Whalen, MPE Heimdahl IEEE Transactions on Software Engineering 41 (11), 1119-1137, 2015 | 36 | 2015 |
| Better testing through oracle selection (nier track) M Staats, MW Whalen, MPE Heimdahl Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 34 | 2011 |
| Dodona: automated oracle data set selection P Loyola, M Staats, IY Ko, G Rothermel Proceedings of the 2014 International Symposium on Software Testing and …, 2014 | 33 | 2014 |
| Partial translation verification for untrusted code-generators M Staats, MPE Heimdahl International Conference on Formal Engineering Methods, 226-237, 2008 | 31 | 2008 |
| The impact of view histories on edit recommendations S Lee, S Kang, S Kim, M Staats IEEE Transactions on Software Engineering 41 (3), 314-330, 2014 | 29 | 2014 |
| Requirements coverage as an adequacy measure for conformance testing A Rajan, M Whalen, M Staats, MPE Heimdahl International Conference on Formal Engineering Methods, 86-104, 2008 | 29 | 2008 |
| On MC/DC and implementation structure: An empirical study MPE Heimdahl, MW Whalen, A Rajan, M Staats 2008 IEEE/AIAA 27th Digital Avionics Systems Conference, 5. B. 3-1-5. B. 3-13, 2008 | 28 | 2008 |
| Coverage metrics for requirements-based testing: Evaluation of effectiveness M Staats, M Whalen, A Rajan, M Heimdahl NASA, 2010 | 27 | 2010 |
| Test case prioritization based on information retrieval concepts JH Kwon, IY Ko, G Rothermel, M Staats 2014 21st Asia-Pacific Software Engineering Conference 1, 19-26, 2014 | 26 | 2014 |
