Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali 0001, Eric Bodden. Debugging Static Analysis. IEEE Trans. Software Eng., 46(7):697-709, 2020. [doi]
@article{DoKH0B20,
title = {Debugging Static Analysis},
author = {Lisa Nguyen Quang Do and Stefan Krüger and Patrick Hill and Karim Ali 0001 and Eric Bodden},
year = {2020},
doi = {10.1109/TSE.2018.2868349},
url = {https://doi.org/10.1109/TSE.2018.2868349},
researchr = {https://researchr.org/publication/DoKH0B20},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {46},
number = {7},
pages = {697-709},
}