an empirical study into class testability .
Testability analysis of a UML class diagram