Travelled to:
1 × Belgium
1 × Estonia
1 × Luxembourg
2 × Switzerland
3 × Italy
4 × USA
Collaborated with:
M.P.E.Heimdahl M.W.Whalen G.Gay G.Rothermel ∅ C.S.Pasareanu S.Hong M.Kim S.Lee S.Kang P.Loyola I.Ko S.Person N.Rungta D.Grijincu D.You J.Ahn G.Fraser P.McMinn A.Arcuri F.Padberg W.Deng A.Rajan K.Woodham
Talks about:
test (10) generat (4) coverag (4) oracl (4) autom (3) understand (2) structur (2) softwar (2) program (2) select (2)
Person: Matt Staats
DBLP: Staats:Matt
Contributed to:
Wrote 14 papers:
- ICSE-v1-2015-WhalenPRSG #approach #flexibility #metric
- A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics (MWW, SP, NR, MS, DG), pp. 506–516.
- ISSTA-2014-LoyolaSKR #automation #named #set
- Dodona: automated oracle data set selection (PL, MS, IYK, GR), pp. 193–203.
- ICSE-2013-LeeKS #named #recommendation #visual notation
- NavClus: a graphical recommender for assisting code exploration (SL, SK, MS), pp. 1315–1318.
- ICSE-2013-WhalenGYHS
- Observable modified Condition/Decision coverage (MWW, GG, DY, MPEH, MS), pp. 102–111.
- ICST-2013-HongSAKR #concurrent #effectiveness #metric #testing
- The Impact of Concurrent Coverage Metrics on Testing Effectiveness (SH, MS, JA, MK, GR), pp. 232–241.
- ISSTA-2013-FraserSMAP #automation #generative #question #testing
- Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.
- FASE-2012-StaatsGWH #generative #on the #testing
- On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.
- ICSE-2012-StaatsGH #automation #fault #how #mutation testing #testing
- Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing (MS, GG, MPEH), pp. 870–880.
- ISSTA-2012-StaatsHKR #comprehension #correctness #invariant
- Understanding user understanding: determining correctness of generated program invariants (MS, SH, MK, GR), pp. 188–198.
- ICSE-2011-StaatsWH #revisited #source code #testing
- Programs, tests, and oracles: the foundations of testing revisited (MS, MWW, MPEH), pp. 391–400.
- ICSE-2011-StaatsWH11a #testing
- Better testing through oracle selection (MS, MWW, MPEH), pp. 892–895.
- ASE-2010-Staats #effectiveness #multi #testing
- The influence of multiple artifacts on the effectiveness of software testing (MS), pp. 517–522.
- ISSTA-2010-StaatsP #execution #generative #parallel #symbolic computation #testing
- Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.
- ASE-2008-StaatsDRHW #named #requirements
- ReqsCov: A Tool for Measuring Test-Adequacy over Requirements (MS, WD, AR, MPEH, KW), pp. 499–500.