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 × USA
Collaborated with:
M.Bartley T.Blackmore
Talks about:
test (2) comparison (1) techniqu (1) properti (1) random (1) pseudo (1) direct (1) verif (1) three (1) check (1)

Person: Darren Galpin

DBLP DBLP: Galpin:Darren

Contributed to:

DAC 20022002

Wrote 1 papers:

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.