@misc{indiciaed2bd29d238af,
  title = {Interactive Semi-automated Specification Mining for Debugging: An Experience Report},
  author = {Mohammad Jafar Mashhadi and Taha R. Siddiqui and Hadi Hemmati and Howard Loewen},
  year = {2019},
  doi = {10.1016/j.infsof.2019.05.002},
  url = {https://arxiv.org/abs/1905.02245},
  note = {Source identifier: 1905.02245}
}