NOTICE: Due to a lapse in annual appropriations, most of this website is not being updated. Learn more.

Form submissions will still be accepted but will not receive responses at this time. Sections of this site for programs using non-appropriated funds (such as NVLAP) or those that are excepted from the shutdown (such as CHIPS and NVD) will continue to be updated.

U.S. flag

An official website of the United States government

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.

PUBLICATIONS

Test Generation Using Model Checking and Specification Mutation

Published

Author(s)

Paul E. Black

Abstract

Although building quality into software is paramount, professionals find that testing is necessary to assure that the system will operate as desired. Developing tests can take significant resources. In 1998 NIST showed how tests can be automatically generated from models using model checkers and specification mutation. This was an early result in what is now a broad area known as "model-based testing." NIST also modified the same technology to measure the coverage of test suites independent of implementation details.
Citation
IEEE IT Professional
Volume
16
Issue
March/April 2014
Pub Type
Journals

Keywords

software testing, model-based testing, formal methods
Software testing

Citation

Black, P. (2013), Test Generation Using Model Checking and Specification Mutation, IEEE IT Professional (Accessed October 2, 2025)

Issues

If you have any questions about this publication or are having problems accessing it, please contact [email protected].

Created November 22, 2013, Updated February 19, 2017
Was this page helpful?