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