TY  - RPRT
TI  - Model checkers in software testing 
AU  - Black, Paul E
AU  - Ammann, Paul
AU  - Ding, Wei
PY  - 2002
PB  - National Institute of Standards and Technology
CY  - Gaithersburg, MD
SN  - NIST IR 6777
DO  - 10.6028/NIST.IR.6777
ER  -