Using model checking to generate tests from specifications
By: Paul E. Ammann, Paul E. Black, William Majurski
Contributors: Black, Paul E; Majurski, William; National Institute of Standards and Technology (U.S.)
Series: NISTIR -- 6166
Publisher: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology
Published: 1998
Place of publication: Gaithersburg, MD
Language: eng
Format: Microform
Subjects: Computer software -- Testing
Notes: Shipping list no.: 99-0688-M

"November 1998."

Includes bibliographical references (p. [8]-[9])

Microfiche. [Washington, D.C.] : Supt. of Docs., U.S. G.P.O., [1999] 1 microfiche : negative