{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T07:10:18Z","timestamp":1761808218550,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Heinz Nixdorf Foundation"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,26]]},"DOI":"10.1145\/3236024.3264830","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"714-718","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Gamifying static analysis"],"prefix":"10.1145","author":[{"given":"Lisa","family":"Nguyen Quang Do","sequence":"first","affiliation":[{"name":"University of Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Bodden","sequence":"additional","affiliation":[{"name":"University of Paderborn, Germany \/ Fraunhofer IEM, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"unstructured":"2018. Cognitive walkthrough artifacts. https:\/\/blogs.uni-paderborn.de\/sse\/tools\/ gamifying-static-analysis.  2018. Cognitive walkthrough artifacts. https:\/\/blogs.uni-paderborn.de\/sse\/tools\/ gamifying-static-analysis.","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1109\/IWESEP.2014.17"},{"volume-title":"2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). 134\u2013142","author":"Barik T.","unstructured":"T. Barik , E. Murphy-Hill , and T. Zimmermann . 2016. A perspective on blending programming environments and games: Beyond points, badges, and leaderboards . In 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). 134\u2013142 . T. Barik, E. Murphy-Hill, and T. Zimmermann. 2016. A perspective on blending programming environments and games: Beyond points, badges, and leaderboards. In 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). 134\u2013142.","key":"e_1_3_2_1_3_1"},{"volume-title":"2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). 211\u2013221","author":"Barik T.","unstructured":"T. Barik , Y. Song , B. Johnson , and E. Murphy-Hill . 2016. From Quick Fixes to Slow Fixes: Reimagining Static Analysis Resolutions to Enable Design Space Exploration . In 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). 211\u2013221 . T. Barik, Y. Song, B. Johnson, and E. Murphy-Hill. 2016. From Quick Fixes to Slow Fixes: Reimagining Static Analysis Resolutions to Enable Design Space Exploration. In 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). 211\u2013221.","key":"e_1_3_2_1_4_1"},{"volume-title":"2013 International Conference on Interactive Collaborative Learning (ICL). 525\u2013530","author":"Berkling K.","unstructured":"K. Berkling and C. Thomas . 2013. Gamification of a Software Engineering course and a detailed analysis of the factors that lead to it\u2019s failure . In 2013 International Conference on Interactive Collaborative Learning (ICL). 525\u2013530 . K. Berkling and C. Thomas. 2013. Gamification of a Software Engineering course and a detailed analysis of the factors that lead to it\u2019s failure. In 2013 International Conference on Interactive Collaborative Learning (ICL). 525\u2013530.","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/1646353.1646374"},{"unstructured":"1646374  1646374","key":"e_1_3_2_1_7_1"},{"unstructured":"Checkmarx. 2018. Checkmarx home page. https:\/\/www.checkmarx.com\/.  Checkmarx. 2018. Checkmarx home page. https:\/\/www.checkmarx.com\/.","key":"e_1_3_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/2970276.2970347"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/MSP.2012.30"},{"key":"e_1_3_2_1_11_1","volume-title":"Gamification in Software Engineering Education: An Empirical Study. In 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE T). 276\u2013284","author":"Souza M. R. d. A.","year":"2017","unstructured":"M. R. d. A. Souza , K. F. Constantino , L. F. Veado , and E. M. L. Figueiredo . 2017 . Gamification in Software Engineering Education: An Empirical Study. In 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE T). 276\u2013284 . M. R. d. A. Souza, K. F. Constantino, L. F. Veado, and E. M. L. Figueiredo. 2017. Gamification in Software Engineering Education: An Empirical Study. In 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE T). 276\u2013284."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/ICSE-C.2017.20"},{"key":"e_1_3_2_1_13_1","volume-title":"Gamification: a Game Changer for Managing Technical Debt? A Design Study. CoRR abs\/1802.02693","author":"Foucault Matthieu","year":"2018","unstructured":"Matthieu Foucault , Xavier Blanc , Margaret-Anne D. Storey , Jean-R\u00e9my Falleri , and C\u00e9dric Teyton . 2018. Gamification: a Game Changer for Managing Technical Debt? A Design Study. CoRR abs\/1802.02693 ( 2018 ). arXiv: 1802.02693 http: \/\/arxiv.org\/abs\/1802.02693 Matthieu Foucault, Xavier Blanc, Margaret-Anne D. Storey, Jean-R\u00e9my Falleri, and C\u00e9dric Teyton. 2018. Gamification: a Game Changer for Managing Technical Debt? A Design Study. CoRR abs\/1802.02693 (2018). arXiv: 1802.02693 http: \/\/arxiv.org\/abs\/1802.02693"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1016\/j.jss.2017.06.021"},{"volume-title":"Gartner Says by","year":"2014","unstructured":"Gartner. 2018. Gartner Says by 2014 , 80 Percent of Current Gamified Applications Will Fail to Meet Business Objectives Primarily Due to Poor Design . https:\/\/www.gartner.com\/newsroom\/id\/2251015. Gartner. 2018. Gartner Says by 2014, 80 Percent of Current Gamified Applications Will Fail to Meet Business Objectives Primarily Due to Poor Design. https:\/\/www.gartner.com\/newsroom\/id\/2251015.","key":"e_1_3_2_1_15_1"},{"unstructured":"Grammatech. 2018. CodeSonar home page. https:\/\/www.grammatech.com\/ products\/codesonar.  Grammatech. 2018. CodeSonar home page. https:\/\/www.grammatech.com\/ products\/codesonar.","key":"e_1_3_2_1_16_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.5555\/2487085.2487101"},{"volume-title":"International Conference on Software Engineering (ICSE). 672\u2013681","author":"Johnson Brittany","unstructured":"Brittany Johnson , Yoonki Song , Emerson R. Murphy-Hill , and Robert W. Bowdidge . 2013. Why don\u2019t software developers use static analysis tools to find bugs? . In International Conference on Software Engineering (ICSE). 672\u2013681 . http:\/\/dl.acm.org\/citation.cfm?id=2486877 Brittany Johnson, Yoonki Song, Emerson R. Murphy-Hill, and Robert W. Bowdidge. 2013. Why don\u2019t software developers use static analysis tools to find bugs?. In International Conference on Software Engineering (ICSE). 672\u2013681. http:\/\/dl.acm.org\/citation.cfm?id=2486877","key":"e_1_3_2_1_18_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/3095021"},{"volume-title":"International Conference on Software Engineering (ICSE). 372\u2013381","author":"Lewis Chris","unstructured":"Chris Lewis , Zhongpeng Lin , Caitlin Sadowski , Xiaoyan Zhu , Rong Ou , and E. James Whitehead Jr . 2013. Does bug prediction support human developers? Findings from a Google case study . In International Conference on Software Engineering (ICSE). 372\u2013381 . http:\/\/dl.acm.org\/citation.cfm?id=2486838 Chris Lewis, Zhongpeng Lin, Caitlin Sadowski, Xiaoyan Zhu, Rong Ou, and E. James Whitehead Jr. 2013. Does bug prediction support human developers? Findings from a Google case study. In International Conference on Software Engineering (ICSE). 372\u2013381. http:\/\/dl.acm.org\/citation.cfm?id=2486838","key":"e_1_3_2_1_20_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/3092703.3092705"},{"unstructured":"3092705  3092705","key":"e_1_3_2_1_22_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/2480359.2429115"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/2786805.2786851"},{"unstructured":"MITRE. 2018. Common Weakness Enumeration. https:\/\/cwe.mitre.org\/.  MITRE. 2018. Common Weakness Enumeration. https:\/\/cwe.mitre.org\/.","key":"e_1_3_2_1_25_1"},{"unstructured":"Scott Nicholson. 2012. A User-Centered Theoretical Framework for Meaningful Gamification. In Games+Learning+Society 8.0.  Scott Nicholson. 2012. A User-Centered Theoretical Framework for Meaningful Gamification. In Games+Learning+Society 8.0.","key":"e_1_3_2_1_26_1"},{"volume-title":"Usability Engineering","author":"Nielsen Jakob","unstructured":"Jakob Nielsen . 1994. Usability Engineering . Elsevier . Jakob Nielsen. 1994. Usability Engineering. Elsevier.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","volume-title":"Deci","author":"Ryan Richard M.","year":"2000","unstructured":"Richard M. Ryan and Edward L . Deci . 2000 . Self-Determination Theory and the Facilitation of Intrinsic Motivation, Social Development, and Well-Being. American Psychologist ( 2000). Richard M. Ryan and Edward L. Deci. 2000. Self-Determination Theory and the Facilitation of Intrinsic Motivation, Social Development, and Well-Being. American Psychologist (2000)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1007\/s11031-006-9051-8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1145\/567067.567084"},{"unstructured":"567084  567084","key":"e_1_3_2_1_31_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.5555\/2818754.2818828"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1109\/SANER.2017.7884627"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1145\/1287624.1287711"},{"volume-title":"2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). 19\u201323","author":"Smith J.","unstructured":"J. Smith , C. Brown , and E. Murphy-Hill . 2017. Flower: Navigating program flow in the IDE . In 2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). 19\u201323 . J. Smith, C. Brown, and E. Murphy-Hill. 2017. Flower: Navigating program flow in the IDE. In 2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). 19\u201323.","key":"e_1_3_2_1_35_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1145\/2786805.2786812"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.5555\/2486788.2486941"},{"volume-title":"2011 IEEE Third International Conference on Privacy, Security, Risk and Trust and 2011 IEEE Third International Conference on Social Computing. 766\u2013773","author":"Yuen M. C.","unstructured":"M. C. Yuen , I. King , and K. S. Leung . 2011. A Survey of Crowdsourcing Systems . In 2011 IEEE Third International Conference on Privacy, Security, Risk and Trust and 2011 IEEE Third International Conference on Social Computing. 766\u2013773 . M. C. Yuen, I. King, and K. S. Leung. 2011. A Survey of Crowdsourcing Systems. In 2011 IEEE Third International Conference on Privacy, Security, Risk and Trust and 2011 IEEE Third International Conference on Social Computing. 766\u2013773.","key":"e_1_3_2_1_38_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.1145\/2950290.2950332"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ESEC\/FSE '18","name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Lake Buena Vista FL USA"},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3264830","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3264830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:27Z","timestamp":1750208247000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3264830"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":39,"alternative-id":["10.1145\/3236024.3264830","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3264830","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}