{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T18:56:18Z","timestamp":1768416978365,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T00:00:00Z","timestamp":1530489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,2]]},"DOI":"10.1145\/3197091.3197133","type":"proceedings-article","created":{"date-parts":[[2018,6,20]],"date-time":"2018-06-20T20:15:46Z","timestamp":1529525746000},"page":"39-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Where exactly are the difficulties in reasoning logically about code? experimentation with an online system"],"prefix":"10.1145","author":[{"given":"Michelle","family":"Cook","sequence":"first","affiliation":[{"name":"Clemson University, USA"}]},{"given":"Megan","family":"Fowler","sequence":"additional","affiliation":[{"name":"Clemson University, USA"}]},{"given":"Jason O.","family":"Hallstrom","sequence":"additional","affiliation":[{"name":"Florida Atlantic University, USA"}]},{"given":"Joseph E.","family":"Hollingsworth","sequence":"additional","affiliation":[{"name":"Indiana University Southeast, USA"}]},{"given":"Tim","family":"Schwab","sequence":"additional","affiliation":[{"name":"Clemson University, USA"}]},{"given":"Yu-Shan","family":"Sun","sequence":"additional","affiliation":[{"name":"Clemson University, USA"}]},{"given":"Murali","family":"Sitaraman","sequence":"additional","affiliation":[{"name":"Clemson University, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,7,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TLT.2009.22"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3017680.3017761"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15327809jls0402_2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.2190\/9LMD-3U28-3A0G-FTQT"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2632320.2632343"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICALT.2011.11"},{"key":"e_1_3_2_1_7_1","unstructured":"B. S. Bloom etal (Eds.) 1956. Taxonomy of Educational Objectives. The Classification of Educational Goals Handbook I: Cognitive Domain. David McKay Company Inc. NY USA.  B. S. Bloom et al. (Eds.) 1956. Taxonomy of Educational Objectives. The Classification of Educational Goals Handbook I: Cognitive Domain. David McKay Company Inc. NY USA."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/sce.20164"},{"key":"e_1_3_2_1_9_1","first-page":"1379","article-title":"Specification Engineering and Modular Verification Using a Web-Integrated Verifying Compiler. Proc. 34th ICSE, IEEE\/ACM","author":"Cook C. T.","year":"2012","journal-title":"NY, USA"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"C. T. Cook S. Drachova Y-S. Sun M. Sitaraman J. Carver and J. E. Hollingsworth. 2013. Specification and Reasoning in SE Projects Using a Web-IDE. In Procs. 26th CSEE&T IEEE NY USA.  C. T. Cook S. Drachova Y-S. Sun M. Sitaraman J. Carver and J. E. Hollingsworth. 2013. Specification and Reasoning in SE Projects Using a Web-IDE. In Procs. 26th CSEE&T IEEE NY USA.","DOI":"10.1109\/CSEET.2013.6595254"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5951\/jresematheduc.42.2.0109"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2716316"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15327884mca0503_3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1089786.1089793"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352135.1352226"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2538862.2538969"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/903893.903919"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151588.1151599"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3017680.3017724"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1089786.1089790"},{"key":"e_1_3_2_1_21_1","volume-title":"Procs. Conference on Artificial Intelligence in Education: Building Technology Rich Contexts That Work, IOS Press, 383-390","author":"Kumar R."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2632320.2632355"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICALT.2011.129"},{"key":"e_1_3_2_1_24_1","unstructured":"K. Martinez and M. Eisenhart. 2004. L.E.A.P. \u2013 Literature Review of Best Practices in College Physics and Best Practices for Women in College Physics January 2004.  K. Martinez and M. Eisenhart. 2004. L.E.A.P. \u2013 Literature Review of Best Practices in College Physics and Best Practices for Women in College Physics January 2004."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:TRUC.0000021811.66966.1d"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3017680.3017762"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2828959.2828972"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0154-3"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/6138.6145"},{"key":"e_1_3_2_1_30_1","unstructured":"A. L. Strauss and J. Corbin. 1998. Basics of qualitative research: Techniques and procedures for developing grounded theory. Sage Publications Thousand Oaks CA.  A. L. Strauss and J. Corbin. 1998. Basics of qualitative research: Techniques and procedures for developing grounded theory. Sage Publications Thousand Oaks CA."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"J. Sweller P. Ayres and S. Kalyuga 2011. Cognitive load theory. Springer NY .  J. Sweller P. Ayres and S. Kalyuga 2011. Cognitive load theory. Springer NY .","DOI":"10.1007\/978-1-4419-8126-4"},{"key":"e_1_3_2_1_32_1","unstructured":"A. E. Tew. 2010. Assessing fundamental introductory computing concept knowledge in a language independent manner Ph.D. Dissertation Georgia Institute of Technology 146 pages.   A. E. Tew. 2010. Assessing fundamental introductory computing concept knowledge in a language independent manner Ph.D. Dissertation Georgia Institute of Technology 146 pages."},{"key":"e_1_3_2_1_33_1","unstructured":"Web-CAT is an advanced automated grading system that can grade students on how well they test their own code. http:\/\/web-cat.org\/home  Web-CAT is an advanced automated grading system that can grade students on how well they test their own code. http:\/\/web-cat.org\/home"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676723.2691877"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"P. Wouters F. Paas and J. J. G. van Merri\u00ebnboer. 2008. How to Optimize Learning from Animated Models: A Review of Guidelines Based on Cognitive Load. Review of Educational Research.  P. Wouters F. Paas and J. J. G. van Merri\u00ebnboer. 2008. How to Optimize Learning from Animated Models: A Review of Guidelines Based on Cognitive Load. Review of Educational Research.","DOI":"10.3102\/0034654308320320"}],"event":{"name":"ITiCSE '18: 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education","location":"Larnaca Cyprus","acronym":"ITiCSE '18","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3197091.3197133","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3197091.3197133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:15Z","timestamp":1750212435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3197091.3197133"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,2]]},"references-count":35,"alternative-id":["10.1145\/3197091.3197133","10.1145\/3197091"],"URL":"https:\/\/doi.org\/10.1145\/3197091.3197133","relation":{},"subject":[],"published":{"date-parts":[[2018,7,2]]},"assertion":[{"value":"2018-07-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}