A Method for Test Generation Directly from Testability Analysis. - Angelo C. Hung; Francis C. Wang (ITC, 1985)