@inproceedingsNguyen Quang Do_Bodden_2018, place=New York, NY, USA, series=ESEC/FSE 2018, title=Gamifying Static Analysis, DOI=10.1145/3236024.3264830, booktitle=Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, publisher=ACM, author=Nguyen Quang Do, Lisa and Bodden, Eric, year=2018, pages=714–718, collection=ESEC/FSE 2018