F. R. D. Velasco
Wang Institute, Tyngsboro, MA
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification