Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric Bodden. “Debugging Static Analysis.”https://doi.org/10.1109/TSE.2018.2868349__IEEE Transactions on Software Engineering, 2018, 1–1.https://doi.org/10.1109/TSE.2018.2868349 .
LibreCat: /record/20543
DOI: 10.1109/TSE.2018.2868349

Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.”https://doi.org/10.1145/3236024.3264830__In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 714–18. ESEC/FSE 2018. New York, NY, USA: ACM, 2018.https://doi.org/10.1145/3236024.3264830 .
LibreCat: /record/20547
DOI: 10.1145/3236024.3264830