Model checkers in software testing

by Black, Paul E.
Published: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 2002

A specification-based coverage metric to evaluate test sets

by Ammann, Paul, 1961-
Published: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1999

Abstracting formal specifications to generate software tests via model checking

by Ammann, Paul, 1961-
Published: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1999

Using model checking to generate tests from specifications

by Ammann, Paul, 1961-
Published: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1998