TY - GEN AU - Ammann, Paul E AU - Black, Paul E AU - Majurski, William C2 - , National Institute of Standards and Technology, Gaithersburg, MD DA - 1998-01-01 05:01:00 DO - https://doi.org/10.6028/NIST.IR.6166 LA - en PB - , National Institute of Standards and Technology, Gaithersburg, MD PY - 1998 TI - Using model checking to generate tests from specifications: ER -