Assessing fault model and test quality - Butler, Kenneth M.; Mercer, Melvin R.