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: Sheridan:David
Contributed to:
20112010Wrote 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.