TY  - RPRT
TI  - Interactive Semi-automated Specification Mining for Debugging: An Experience Report
AU  - Mohammad Jafar Mashhadi
AU  - Taha R. Siddiqui
AU  - Hadi Hemmati
AU  - Howard Loewen
PY  - 2019
DO  - 10.1016/j.infsof.2019.05.002
UR  - https://arxiv.org/abs/1905.02245
ID  - 1905.02245
ER  -