NIST logo

Publication Citation: Using Model Checking to Generate Tests from Specifications

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