Matthew Staats
Matthew Staats
University of Luxembourg
Geen geverifieerd e-mailadres
Titel
Geciteerd door
Geciteerd door
Jaar
Parallel symbolic execution for structural test generation
M Staats, C Pǎsǎreanu
Proceedings of the 19th international symposium on Software testing and …, 2010
1842010
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
1202011
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
982015
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
912013
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
842012
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
782012
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
682015
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
562013
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
402012
Oracle-centric test case prioritization
M Staats, P Loyola, G Rothermel
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
392012
Better testing through oracle selection:(NIER track)
M Staats, MW Whalen, MPE Heimdahl
2011 33rd International Conference on Software Engineering (ICSE), 892-895, 2011
332011
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
322016
Partial translation verification for untrusted code-generators
M Staats, MPE Heimdahl
International Conference on Formal Engineering Methods, 226-237, 2008
312008
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
292014
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
Automated oracle data selection support
G Gay, M Staats, M Whalen, MPE Heimdahl
IEEE Transactions on Software Engineering 41 (11), 1119-1137, 2015
252015
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
Breaking and provably fixing minx
E Shimshock, M Staats, N Hopper
International Symposium on Privacy Enhancing Technologies Symposium, 99-114, 2008
222008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20