TY  - RPRT
TI  - Using model checking to generate tests from specifications 
AU  - Ammann, Paul E
AU  - Black, Paul E
AU  - Majurski, William
PY  - 1998
PB  - National Institute of Standards and Technology
CY  - Gaithersburg, MD
SN  - NIST IR 6166
DO  - 10.6028/NIST.IR.6166
ER  -