Bill Underwood M. Ray Mercer Correlating Testability with Fault Detection. 697-704 1984 conf/itc/1984 ITC db/conf/itc/itc1984.html#UnderwoodM84