@misc{indiciae534ca09d5622,
  title = {Verification test suite for systems analysis tools},
  author = {Sumner, T. and Hu, R. and Fanning, T. H.},
  year = {2013},
  doi = {10.2172/1064609},
  url = {https://www.osti.gov/biblio/1064609},
  note = {Source identifier: 1064609}
}