@misc{indiciaec4c4f577e6e4,
  title = {Finding Likely Errors with Bayesian Specifications},
  author = {Vijayaraghavan Murali and Swarat Chaudhuri and Chris Jermaine},
  year = {2017},
  url = {https://arxiv.org/abs/1703.01370},
  note = {Source identifier: 1703.01370}
}