University of Wisconsin-Madison, Computer Sciences Department Technical Report 1512; Madison, Wisconsin; July 2004.
This technical report is superseded by our ICSE 2005 paper and is only provided here for reference. Please read the ICSE 2005 paper instead.
Technical report: [ Postscript | PDF ]