TY - RPRT TI - Fault classes and error detection in specification based testing AU - Kuhn, D Richard PY - 1998 PB - National Institute of Standards and Technology CY - Gaithersburg, MD SN - NIST IR 6140 DO - 10.6028/NIST.IR.6140 ER -