Ron Watro

According to our database, Ron Watro authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2015

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

Proceedings of the 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2015