Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification - Kemmerer