@article{20543,
  author       = {{Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}},
  issn         = {{2326-3881}},
  journal      = {{IEEE Transactions on Software Engineering}},
  keywords     = {{Debugging, Static analysis, Tools, Computer bugs, Standards, Writing, Encoding, Testing and Debugging, Program analysis, Development tools, Integrated environments, Graphical environments, Usability testing}},
  pages        = {{1--1}},
  title        = {{{Debugging Static Analysis}}},
  doi          = {{10.1109/TSE.2018.2868349}},
  year         = {{2018}},
}

@inproceedings{20547,
  author       = {{Nguyen Quang Do, Lisa and Bodden, Eric}},
  booktitle    = {{Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}},
  isbn         = {{978-1-4503-5573-5}},
  keywords     = {{Gamification, Integrated Environments, Program analysis}},
  pages        = {{714--718}},
  publisher    = {{ACM}},
  title        = {{{Gamifying Static Analysis}}},
  doi          = {{10.1145/3236024.3264830}},
  year         = {{2018}},
}