W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, page 112--122. New York, NY, USA, ACM Press, (2002)
W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, page 112--122. New York, NY, USA, ACM Press, (2002)