@article{841451,
  author = {P Ammann and Paul Black},
  title = {Abstracting Formal Specifications to Generate Software Tests via Model Checking},
  year = {1999},
  month = {1999-10-01 00:10:00},
  publisher = {Digital Avionics Systems Conference},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=151677},
  language = {en},
}