@article{key=tse18debugging,
author = {Nguyen, Lisa and Kr{\"u}ger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric},
title = {Debugging Static Analysis},
journal = {IEEE Transactions on Software Engineering},
pages = {1-1},
year = {2018},
}