@misc{indiciaeae01c60e2752,
  title = {Statistical inference of static analysis rules},
  author = {Engler, Dawson Richards},
  year = {2009},
  url = {https://ntrs.nasa.gov/citations/20090043096},
  note = {Source identifier: 20090043096}
}