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 × Italy
1 × USA
Collaborated with:
M.Bartley D.Galpin D.Halliwell P.Barker K.Eder N.Ramaram
Talks about:
properti (2) coverag (2) verif (2) test (2) comparison (1) techniqu (1) generat (1) automat (1) report (1) random (1)

Person: Tim Blackmore

DBLP DBLP: Blackmore:Tim

Contributed to:

IFM 20122012
DAC 20022002

Wrote 2 papers:

IFM-2012-BlackmoreHBER #automation #generative #simulation #verification
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports (TB, DH, PB, KE, NR), pp. 84–98.
DAC-2002-BartleyGB #comparison #pseudo #random testing #testing #verification
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking (MB, DG, TB), pp. 819–823.

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.