A statistical model for fault coverage analysis. - Chung Ho Chen; N. L. Soong (VTS, 1991)