Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games.

Kerry Moffitt, John Ostwald, Ron Watro, Eric Church

Browse the full ICSE paper archive.