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