John Bainbridge Defining Testability Metrics Axiomatically. 63-80 1994 4 Softw. Test., Verif. Reliab. 2 db/journals/stvr/stvr4.html#Bainbridge94