Assessing fault model and test quality - Butler, Kenneth M. (Kluwer Academic Publishers, 1992)