@misc{112571,
  author = {Leonard Gallagher},
  title = {Generation of Test Cases from a Finite-State, Object-Oriented Speciation},
  year = {2005},
  month = {2005-12-01},
  publisher = {NISTGCR},
  language = {en},
}