@ARTICLE{tse18debugging,
 author={L. Nguyen Quang Do and S. Krüger and P. Hill and K. Ali and E. 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={},
}

@inproceedings{fsenier18gsa,
 author = {Nguyen Quang Do, Lisa and Bodden, Eric},
 title = {Gamifying Static Analysis},
 booktitle = {Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
 series = {ESEC/FSE 2018},
 year = {2018},
 isbn = {978-1-4503-5573-5},
 location = {Lake Buena Vista, FL, USA},
 pages = {714--718},
 numpages = {5},
 url = {http://doi.acm.org/10.1145/3236024.3264830},
 doi = {10.1145/3236024.3264830},
 acmid = {3264830},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Gamification, Integrated Environments, Program analysis},
}

@inproceedings{icse2018visuflow,
 author = {Nguyen Quang Do Lisa and Kr\"{u}ger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric},
 title = {VISUFLOW: A Debugging Environment for Static Analyses},
 booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings},
 series = {ICSE '18},
 year = {2018},
 isbn = {978-1-4503-5663-3},
 location = {Gothenburg, Sweden},
 pages = {89--92},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/3183440.3183470},
 doi = {10.1145/3183440.3183470},
 acmid = {3183470},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {IDE, debugging, empirical software engineering, static analysis, survey, user study}
} 

@inproceedings{abm,
 author = {Nguyen Quang Do, Lisa and Eichberg, Michael and Bodden, Eric},
 title = {Toward an Automated Benchmark Management System},
 booktitle = {Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis},
 series = {SOAP 2016},
 year = {2016},
 isbn = {978-1-4503-4385-5},
 location = {Santa Barbara, CA, USA},
 pages = {13--17},
 numpages = {5},
 url = {http://doi.acm.org/10.1145/2931021.2931023},
 doi = {10.1145/2931021.2931023},
 acmid = {2931023},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {ABM methodology, automated, benchmark suite, collection},
}