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