Follow
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
2032010
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
1362011
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
1272015
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
1052015
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
1052013
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
922012
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
912012
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
612013
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
432012
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
422016
Oracle-centric test case prioritization
M Staats, P Loyola, G Rothermel
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
422012
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
332014
Better testing through oracle selection (nier track)
M Staats, MW Whalen, MPE Heimdahl
Proceedings of the 33rd International Conference on Software Engineering …, 2011
322011
Partial translation verification for untrusted code-generators
M Staats, MPE Heimdahl
International Conference on Formal Engineering Methods, 226-237, 2008
312008
Automated oracle data selection support
G Gay, M Staats, M Whalen, MPE Heimdahl
IEEE Transactions on Software Engineering 41 (11), 1119-1137, 2015
292015
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
272014
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
272008
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
272008
Coverage metrics for requirements-based testing: Evaluation of effectiveness
M Staats, M Whalen, A Rajan, M Heimdahl
NASA, 2010
262010
Breaking and provably fixing minx
E Shimshock, M Staats, N Hopper
Privacy Enhancing Technologies: 8th International Symposium, PETS 2008 …, 2008
242008
The system can't perform the operation now. Try again later.
Articles 1–20