A specification-based coverage metric to evaluate test sets - Ammann, Paul E. (U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology,, 1999)