A Calculus of Testability Measure at the Functional Level.

Shigeru Takasaki Masato Kawai S. Funatsu Akihiko Yamoda A Calculus of Testability Measure at the Functional Level. 95-101 1981 conf/itc/1981 ITC db/conf/itc/itc1981.html#TakasakiKFY81