@inproceedings {191763, author = {Drew Dean and Sean Gaurino and Leonard Eusebi and Andrew Keplinger and Tim Pavlik and Ronald Watro and Aaron Cammarata and John Murray and Kelly McLaughlin and John Cheng and Thomas Maddern}, title = {Lessons Learned in Game Development for Crowdsourced Software Formal Verification}, booktitle = {2015 USENIX Summit on Gaming, Games, and Gamification in Security Education (3GSE 15)}, year = {2015}, address = {Washington, D.C.}, url = {https://www.usenix.org/conference/3gse15/summit-program/presentation/dean}, publisher = {USENIX Association}, month = aug }