@misc{indiciae27d2084d4a6d,
  title = {A mathematical framework for automated bug localization},
  author = {Tsuyoshi Ohta and Tadanori Mizuno},
  year = {2003},
  url = {https://arxiv.org/abs/cs/0309055},
  note = {Source identifier: cs/0309055}
}