Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis - Tracz