A New Approach to the Use of Testability Analysis in Test Generation. - Balakrishnan Krishnamurthy; Richard Li-Cheng Sheng (ITC, 1985)