Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis