Matthew Staats
Matthew Staats
University of Luxembourg
No verified email
Title
Cited by
Cited by
Year
Parallel symbolic execution for structural test generation
M Staats, C Pǎsǎreanu
Proceedings of the 19th international symposium on Software testing and …, 2010
1742010
Programs, tests, and oracles: the foundations of testing revisited
M Staats, MW Whalen, MPE Heimdahl
2011 33rd international conference on software engineering (ICSE), 391-400, 2011
1162011
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
922015
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
872013
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
832012
On the danger of coverage directed test case generation
M Staats, G Gay, M Whalen, M Heimdahl
International Conference on Fundamental Approaches to Software Engineering …, 2012
792012
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
642015
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
532013
Oracle-centric test case prioritization
M Staats, P Loyola, G Rothermel
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
382012
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
382012
Better testing through oracle selection:(NIER track)
M Staats, MW Whalen, MPE Heimdahl
2011 33rd International Conference on Software Engineering (ICSE), 892-895, 2011
322011
Partial translation verification for untrusted code-generators
M Staats, MPE Heimdahl
International Conference on Formal Engineering Methods, 226-237, 2008
312008
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
282016
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
262008
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
252014
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
232014
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
232008
Coverage metrics for requirements-based testing: Evaluation of effectiveness
M Staats, M Whalen, A Rajan, M Heimdahl
NASA, 2010
222010
The impact of concurrent coverage metrics on testing effectiveness
S Hong, M Staats, J Ahn, M Kim, G Rothermel
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
212013
Breaking and provably fixing minx
E Shimshock, M Staats, N Hopper
International Symposium on Privacy Enhancing Technologies Symposium, 99-114, 2008
212008
The system can't perform the operation now. Try again later.
Articles 1–20