Michel Crastes de Paulet, Margot Karam, Gabriele Saucier. Testability Expertise and Test Planning from High-Level Specifications. In Proceedings International Test Conference 1989, Washington, D.C., USA, August 1989. pages 692-699, IEEE Computer Society, 1989.
Abstract is missing.