Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., &; Bodden, E. (2018). Debugging Static Analysis. IEEE Transactions on Software Engineering, 1–1.https://doi.org/10.1109/TSE.2018.2868349 
LibreCat: /record/20543
DOI: 10.1109/TSE.2018.2868349

Nguyen Quang Do, L., &; Bodden, E. (2018). Gamifying Static Analysis. Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 714–718.https://doi.org/10.1145/3236024.3264830 
LibreCat: /record/20547
DOI: 10.1145/3236024.3264830