Kerry Moffitt, John Ostwald, Ron Watro, Eric Church. Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games. In 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, CSI-SE 2015, Florence, Italy, May 19, 2015. pages 30-31, IEEE, 2015. [doi]
Abstract is missing.