{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:33:00Z","timestamp":1763458380006,"version":"3.45.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,5,14]],"date-time":"2017-05-14T00:00:00Z","timestamp":1494720000000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-12-C-0225"],"award-info":[{"award-number":["FA8750-12-C-0225"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,14]]},"DOI":"10.1145\/2884781.2884865","type":"proceedings-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T14:21:10Z","timestamp":1463149270000},"page":"1086-1096","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Crowdsourcing program preconditions via a classification game"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Fava","sequence":"first","affiliation":[{"name":"University of California, Santa Cruz"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Shapiro","sequence":"additional","affiliation":[{"name":"University of California, Santa Cruz"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Osborn","sequence":"additional","affiliation":[{"name":"University of California, Santa Cruz"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Sch\u00e4ef","sequence":"additional","affiliation":[{"name":"SRI International"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"Jr.","given":"E. James","family":"Whitehead","sequence":"additional","affiliation":[{"name":"University of California, Santa Cruz"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-8806-4_54"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503230"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature09304"},{"key":"e_1_3_2_1_5_1","unstructured":"D. Dean et al. Lessons learned in game development for crowdsourced software formal verification. In 2015 USENIX Summit on Gaming Games and Gamification in Security Education (3GSE'15)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1979742.1979575"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2318202.2318210"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509511"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_1_10_1","unstructured":"M. D. Ernst W. G. Griswold Y. Kataoka and D. Notkin. Dynamically discovering pointer-based program invariants. Technical Report UW-CSE-99-11-02 Computer Science Univ. of Washington Nov. 1999."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48899-7_41"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888912000252"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0031362"},{"key":"e_1_3_2_1_16_1","volume-title":"Learning invariants using decision trees. arXiv preprint arXiv:1501.04725","author":"Krishna S.","year":"2015","unstructured":"S. Krishna, C. Puhrsch, and T. Wies. Learning invariants using decision trees. arXiv preprint arXiv:1501.04725, 2015."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_26"},{"key":"e_1_3_2_1_18_1","volume-title":"The Code of Plants. In Foundations of Digital Games (FDG 2014)","author":"Logas H.","year":"2014","unstructured":"H. Logas, J. Whitehead, M. Mateas, R. Vallejos, L. Scott, D. Shapiro, J. Murray, K. Compton, J. Osborn, O. Salvatore, et al. Software verification games: Designing Xylem, The Code of Plants. In Foundations of Digital Games (FDG 2014), 2014."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.657846"},{"key":"e_1_3_2_1_20_1","first-page":"01","article-title":"A survey of the use of crowdsourcing in software engineering","volume":"15","author":"Mao K.","year":"2015","unstructured":"K. Mao, L. Capra, M. Harman, and Y. Jia. A survey of the use of crowdsourcing in software engineering. RN, 15:01, 2015.","journal-title":"RN"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556782"},{"key":"e_1_3_2_1_23_1","volume-title":"Software-artifact infrastructure repository","author":"Rothermel G.","year":"2006","unstructured":"G. Rothermel, S. Elbaum, A. Kinneer, and H. Do. Software-artifact infrastructure repository, 2006."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093553"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_6"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_11"},{"key":"e_1_3_2_1_27_1","volume-title":"Using the GNU compiler collection","author":"Stallman R. M.","year":"2003","unstructured":"R. M. Stallman et al. Using the GNU compiler collection. 2003."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979146"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378704.1378719"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610389"}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\TCSE TC on Software Engineering","IEEE-CS\\DATC IEEE Computer Society"],"location":"Austin Texas","acronym":"ICSE '16"},"container-title":["Proceedings of the 38th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2884781.2884865","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2884781.2884865","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2884781.2884865","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:22:08Z","timestamp":1763457728000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2884781.2884865"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":30,"alternative-id":["10.1145\/2884781.2884865","10.1145\/2884781"],"URL":"https:\/\/doi.org\/10.1145\/2884781.2884865","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}