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 .