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