TY - JOUR AU - Nguyen Quang Do, Lisa AU - Krüger, Stefan AU - Hill, Patrick AU - Ali, Karim AU - Bodden, Eric ID - 20543 JF - IEEE Transactions on Software Engineering KW - Debugging KW - Static analysis KW - Tools KW - Computer bugs KW - Standards KW - Writing KW - Encoding KW - Testing and Debugging KW - Program analysis KW - Development tools KW - Integrated environments KW - Graphical environments KW - Usability testing SN - 2326-3881 TI - Debugging Static Analysis ER - TY - CONF AU - Nguyen Quang Do, Lisa AU - Bodden, Eric ID - 20547 KW - Gamification KW - Integrated Environments KW - Program analysis SN - 978-1-4503-5573-5 T2 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering TI - Gamifying Static Analysis ER -