Approaches to Specification-Based Testing. - Debra J. Richardson; T. Owen O'Malley; C. Tittle (Symposium on Testing, Analysis, and Verification, 1989)