Computer Aided Testability Evaluation and Test Generation. - Chantal Robach; Ch. Malecha; Gilles Michel (ITC, 1983)