Andrew T. Walter, Benjamin Boskin, Seth Cooper, Panagiotis Manolios. Gamification of Loop-Invariant Discovery from Code. In Edith Law, Jennifer Wortman Vaughan, editors, Proceedings of the Seventh AAAI Conference on Human Computation and Crowdsourcing, HCOMP 2019, Stevenson, WA, USA, October 28-30, 2019. pages 188-196, AAAI Press, 2019. [doi]
Abstract is missing.