BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Staats:Matt

Contributed to:

ICSE 20152015
ISSTA 20142014
ICSE 20132013
ICST 20132013
ISSTA 20132013
FASE 20122012
ICSE 20122012
ISSTA 20122012
ICSE 20112011
ASE 20102010
ISSTA 20102010
ASE 20082008

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.