Antonia Bertolino Lorenzo Strigini Using Testability Measures for Dependability Assessment. 61-70 1995 ICSE http://doi.acm.org/10.1145/225014.225020 db/conf/icse/icse95.html#BertolinoS95