@misc{indiciae4eaa4cfdf6a6,
  title = {Infusing Software Assurance Research Techniques into Use},
  author = {Pressburger, Thomas and DiVito, Ben and Feather, Martin S. and Hinchey, Michael and Markosian, Lawrence and Trevino, Luis C.},
  year = {2006},
  url = {https://ntrs.nasa.gov/citations/20060019293},
  note = {Source identifier: 20060019293}
}