BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
Collaborated with:
W.Tuohy S.Vasudevan L.Liu S.J.Patel D.Tcheng D.R.Johnson
Talks about:
mine (3) generat (2) assert (2) gold (2) use (2) stimulus (1) coverag (1) automat (1) analysi (1) toward (1)

Person: David Sheridan

DBLP DBLP: Sheridan:David

Contributed to:

DATE 20112011
DATE 20102010

Wrote 2 papers:

DATE-2011-LiuSTV #design #generative #towards #using #validation
Towards coverage closure: Using GoldMine assertions for generating design validation stimulus (LL, DS, WT, SV), pp. 173–178.
DATE-2010-VasudevanSPTTJ #automation #data mining #generative #mining #named #static analysis #using
GoldMine: Automatic assertion generation using data mining and static analysis (SV, DS, SJP, DT, WT, DRJ), pp. 626–629.

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.