Walter, A.T., Boskin, B., Cooper, S. and Manolios, P. 2019. Gamification of Loop-Invariant Discovery from Code. Proceedings of the AAAI Conference on Human Computation and Crowdsourcing. 7, 1 (Oct. 2019), 188-196. DOI:https://doi.org/10.1609/hcomp.v7i1.5277.