Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
ACM Digital Library