Ammann, P.
, Black, P.
and Majurski, W.
(1998),
Using Model Checking to Generate Tests from Specifications, NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
(Accessed October 11, 2024)
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Using Model Checking to Generate Tests from Specifications
Published
Author(s)
P E. Ammann, ,
Citation
NIST Interagency/Internal Report (NISTIR) - 6166
Report Number
6166
NIST Pub Series
Pub Type
NIST Pubs
Citation
Issues
If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.
Created October 31, 1998, Updated October 12, 2021