@misc{155166,
  author = {David Kuhn},
  title = {Fault Classes and Error Detection in Specification Based Testing},
  year = {1998},
  month = {1998-02-01},
  publisher = {- 6140, National Institute of Standards and Technology, Gaithersburg, MD},
  language = {en},
}