Nguyen Quang Do, Lisa, et al. “Debugging Static Analysis.”10.1109/TSE.2018.2868349__IEEE Transactions on Software Engineering, 2018, pp. 1–1, doi:10.1109/TSE.2018.2868349.
LibreCat: /record/20543
DOI: 10.1109/TSE.2018.2868349

Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.”10.1145/3236024.3264830__Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, 2018, pp. 714–18, doi:10.1145/3236024.3264830.
LibreCat: /record/20547
DOI: 10.1145/3236024.3264830