Debugging Static Analysis (bibtex)
@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={0098-5589}, 
month={},}
Powered by bibtexbrowser