An Empirical Analysis of a Testability Model | IEEE Conference Publication | IEEE Xplore