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