TY  - RPRT
TI  - Abstracting formal specifications to generate software tests via model checking 
AU  - Ammann, Paul E
AU  - Black, Paul E
PY  - 1999
PB  - National Institute of Standards and Technology
CY  - Gaithersburg, MD
SN  - NIST IR 6405
DO  - 10.6028/NIST.IR.6405
ER  -