@misc{indiciaef0cbcaa34845,
  title = {Learning Likely Invariants to Explain Why a Program Fails},
  author = {Jun Sun and Long H. Pham and Lyly Tran Thi and Jingyi Wang and Xin Peng},
  year = {2016},
  doi = {10.1109/iceccs.2017.12},
  url = {https://arxiv.org/abs/1610.08607},
  note = {Source identifier: 1610.08607}
}