WALTER, Andrew T.; BOSKIN, Benjamin; COOPER, Seth; MANOLIOS, Panagiotis. Gamification of Loop-Invariant Discovery from Code. Proceedings of the AAAI Conference on Human Computation and Crowdsourcing, [S. l.], v. 7, n. 1, p. 188–196, 2019. DOI: 10.1609/hcomp.v7i1.5277. Disponível em: https://ojs.aaai.org/index.php/HCOMP/article/view/5277. Acesso em: 13 may. 2026.