Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games. Moffitt, K.; Ostwald, J.; Watro, R.; and Church, E. In CSI-SE, pages 30-31, 2015. IEEE.
Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games. [link]Link  Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games. [link]Paper  bibtex   
@inproceedings{ conf/icse/MoffittOWC15,
  added-at = {2015-08-06T00:00:00.000+0200},
  author = {Moffitt, Kerry and Ostwald, John and Watro, Ron and Church, Eric},
  biburl = {http://www.bibsonomy.org/bibtex/23fae594563ca1947629177d337df8cde/dblp},
  booktitle = {CSI-SE},
  crossref = {conf/icse/2015csise},
  ee = {http://dx.doi.org/10.1109/CSI-SE.2015.13},
  interhash = {c724927b2336691fb1feea5a025864a9},
  intrahash = {3fae594563ca1947629177d337df8cde},
  isbn = {978-1-4673-7040-0},
  keywords = {dblp},
  pages = {30-31},
  publisher = {IEEE},
  title = {Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games.},
  url = {http://dblp.uni-trier.de/db/conf/icse/csise2015.html#MoffittOWC15},
  year = {2015}
}
Downloads: 0