Metrics for Measuring the Effectiveness of Software-Testing Tools. - James Bret Michael; Bernard J. Bossuyt; Byron B. Snyder (ISSRE, 2002)