![]() ![]() | Hong, S., STAATS, M., Ahn, J., Kim, M., & Rothermel, G. (2014). Are Concurrency Coverage Metrics Effective for Testing: A Comprehensive Empirical Investigation. Software Testing, Verification and Reliability. doi:10.1002/stvr.1539 ![]() |
![]() ![]() | Loyola, P., STAATS, M., Ko, I.-Y., & Rothermel, G. (2014). Dodona: Automated Oracle Data Set Selection. International Symposium on Software Testing and Analysis 2014. doi:10.1145/2610384.2610408 ![]() |
![]() ![]() | Hong, S., STAATS, M., Ahn, J., Kim, M., & Rothermel, G. (2013). The Impact of Concurrent Coverage Metrics on Testing Effectiveness. In The Impact of Concurrent Coverage Metrics on Testing Effectiveness. doi:10.1109/ICST.2013.32 ![]() |
![]() ![]() | Fraser, G., STAATS, M., McMinn, P., ARCURI, A., & Padberg, F. (2013). Does automated white-box test generation really help software testers? In ISSTA. doi:10.1145/2699688 ![]() |
![]() ![]() | Whalen, M. W., Gay, G., You, D., Heimdahl, M. P. E., & STAATS, M. (2013). Observable modified Condition/Decision coverage. In ICSE. ![]() |
![]() ![]() | Lee, S., Kang, S., & STAATS, M. (2013). NavClus: a graphical recommender for assisting code exploration. In ICSE. ![]() |
![]() ![]() | STAATS, M., Hong, S., Kim, M., & Rothermel, G. (2012). Understanding user understanding: determining correctness of generated program invariants. In ISSTA. doi:10.1145/04000800.2336776 ![]() |
![]() ![]() | STAATS, M., Gay, G., & Heimdahl, M. P. E. (2012). Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing. In ICSE. ![]() |
![]() ![]() | STAATS, M., Loyola, P., & Rothermel, G. (2012). Oracle-Centric Test Case Prioritization. In ISSRE. doi:10.1109/ISSRE.2012.13 ![]() |
![]() ![]() | STAATS, M., Gay, G., Whalen, M. W., & Heimdahl, M. P. E. (2012). On the Danger of Coverage Directed Test Case Generation. In FASE. ![]() |
![]() ![]() | STAATS, M., Whalen, M. W., & Heimdahl, M. P. E. (2011). Programs, tests, and oracles: the foundations of testing revisited. In ICSE. ![]() |
![]() ![]() | STAATS, M., Whalen, M. W., & Heimdahl, M. P. E. (2011). Better testing through oracle selection. In ICSE. ![]() |