Silke Kuball Gordon Hughes John H. R. May Julio Gallardo Andrew D. John Roy B. Carter The Effectiveness of Statistical Testing when Applied to Logic Systems. 156-165 2001 conf/safecomp/2001 SAFECOMP http://link.springer.de/link/service/series/0558/bibs/2187/21870156.htm db/conf/safecomp/safecomp2001.html#KuballHMGJC01