Approaches to Specification-Based Testing (1989)

by Debra J. Richardson, T. Owen O'Malley, Cindy Tittle
Venue:In Proceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing, Analysis, and Verification (TAV3