@conference{848121,
  author = {P Ammann and Paul Black},
  title = {A Specification-Based Coverage Metric to Evaluate Test Sets},
  year = {2000},
  number = {8},
  month = {2000-12-01 00:12:00},
  publisher = {High- Assurance Systems Engineering, International Symposium | 5th | 5th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2000 | IEEE, Undefined},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=151676},
  language = {en},
}