Publication Citation
NIST Authors in Bold
 |
| Author(s): | P E. Ammann; Paul E. Black; William J. Majurski; |
|---|---|
| Title: | Using Model Checking to Generate Tests from Specifications |
| Published: | November 01, 1998 |
| Abstract: | |
| Citation: | NIST Interagency/Internal Report (NISTIR) - 6166 |
| Research Areas: | Information Technology, Math |