@misc{indiciae0125cc840633,
  title = {Seeing the Invisible: Embedding Tests in Code That Cannot be Modified},
  author = {O'Malley, Owen and Mansouri-Samani, Masoud and Mehlitz, Peter and Penix, John},
  year = {2005},
  url = {https://ntrs.nasa.gov/citations/20060019189},
  note = {Source identifier: 20060019189}
}