@ARTICLE{tse18debugging, 
author={Lisa Nguyen Quang Do and Stefan Kr\"uger and Patrick Hill and Karim Ali and Eric Bodden}, 
journal={IEEE Transactions on Software Engineering}, 
title={Debugging Static Analysis}, 
year={2018}, 
volume={}, 
number={}, 
pages={1-1}, 
keywords={Debugging;Static analysis;Tools;Computer bugs;Standards;Writing;Encoding;Testing and Debugging;Program analysis;Development tools;Integrated environments;Graphical environments;Usability testing}, 
doi={10.1109/TSE.2018.2868349},
ISSN={2326-3881},
month={},
 url = {https://www.bodden.de/pubs/tse18debugging.pdf},
}