@InProceedings{nb18gamifying,
 author = {Nguyen Quang Do, Lisa and Bodden, Eric},
 title = {Gamifying Static Analysis},
 booktitle = {Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
 series = {ESEC/FSE 2018},
 year = {2018},
 isbn = {978-1-4503-5573-5},
 location = {Lake Buena Vista, FL, USA},
 pages = {714--718},
 numpages = {5},
 doi = {10.1145/3236024.3264830},
 acmid = {3264830},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Gamification, Integrated Environments, Program analysis},
	url= {https://www.bodden.de/pubs/db18gamifying.pdf}
}