The Effectiveness of Statistical Testing when Applied to Logic Systems. - Silke Kuball; Gordon Hughes; John H. R. May; Julio Gallardo; Andrew D. John; Roy B. Carter (SAFECOMP, 2001)