Model Checkers in Software Testing (2002)

by Paul Ammann, Paul E Black, Wei Ding
Venue:In NIST-IR 6777, National Institute of Standards and Technology Report