published in Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis Journal