Assessing fault model and test quality. - Butler, Kenneth M.; Mercer, M. Ray; Allen, Jonathan (Dordrecht : Kluwer Academic Publishers, 1992)