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), pp. 188-196. Available at: https://ojs.aaai.org/index.php/HCOMP/article/view/5277 (Accessed: 20January2021).