TY - RPRT TI - A specification-based coverage metric to evaluate test sets AU - Ammann, Paul E AU - Black, Paul E PY - 1999 PB - National Institute of Standards and Technology CY - Gaithersburg, MD SN - NIST IR 6403 DO - 10.6028/NIST.IR.6403 ER -