@misc{indiciaef79a5733e6a0,
  title = {An experimental evaluation of error seeding as a program validation technique},
  author = {Knight, J. C. and Ammann, P. E.},
  year = {1985},
  url = {https://ntrs.nasa.gov/citations/19860020890},
  note = {Source identifier: 19860020890}
}