{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:38Z","timestamp":1750220438352,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,26]],"date-time":"2021-06-26T00:00:00Z","timestamp":1624665600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DUE-1914667, DUE-1915088"],"award-info":[{"award-number":["DUE-1914667, DUE-1915088"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,26]]},"DOI":"10.1145\/3430665.3456351","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T22:26:22Z","timestamp":1624055182000},"page":"387-393","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties"],"prefix":"10.1145","author":[{"given":"Megan","family":"Fowler","sequence":"first","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eileen","family":"Kraemer","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murali","family":"Sitaraman","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph E.","family":"Hollingsworth","sequence":"additional","affiliation":[{"name":"Rose-Hulman Institute of Technology, Terre Haute, IN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,6,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3328778.3366879"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227243"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105726.3106190"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2143"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-008-0084-5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3396802.3396807"},{"volume-title":"The science of programming","author":"Gries David","key":"e_1_3_2_1_8_1","unstructured":"David Gries . 1981. The science of programming . Springer-Verlag . David Gries. 1981. The science of programming .Springer-Verlag."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/903893.903919"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSEET.2017.40"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3279720.3279728"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education (Aberdeen, Scotland Uk) (ITiCSE '19)","author":"Kennedy Cazembe","year":"1975","unstructured":"Cazembe Kennedy and Eileen T. Kraemer . 2019. Qualitative Observations of Student Reasoning: Coding in the Wild . In Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education (Aberdeen, Scotland Uk) (ITiCSE '19) . ACM, New York, NY, USA, 224--230. https:\/\/doi.org\/10.1145\/3304221.33 1975 1 Cazembe Kennedy and Eileen T. Kraemer. 2019. Qualitative Observations of Student Reasoning: Coding in the Wild. In Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education (Aberdeen, Scotland Uk) (ITiCSE '19). ACM, New York, NY, USA, 224--230. https:\/\/doi.org\/10.1145\/3304221.3319751"},{"key":"e_1_3_2_1_13_1","first-page":"154","article-title":"The 1st Verified Software Competition","volume":"6664","author":"Klebanov Vladimir","year":"2011","unstructured":"Vladimir Klebanov , Peter M\u00fcller , Natarajan Shankar , Gary Leavens , Valentin W\u00fcstholz , Eyad Alkassar , Rob Arthan , Derek Bronish , Rod Chapman , Ernie Cohen , Mark Hillebrand , Bart Jacobs , K Rustan M Leino , Rosemary Monahan , Frank Piessens , Nadia Polikarpova , Tom Ridge , Jan Smans , Stephan Tobies , and Benjamin Wei\u00df . 2011 . The 1st Verified Software Competition : Experience Report , Vol. 6664. 154 -- 168 . https:\/\/doi.org\/10.1007\/978--3--642--21437-0_14 Vladimir Klebanov, Peter M\u00fcller, Natarajan Shankar, Gary Leavens, Valentin W\u00fcstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark Hillebrand, Bart Jacobs, K Rustan M Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, and Benjamin Wei\u00df. 2011. The 1st Verified Software Competition: Experience Report, Vol. 6664. 154--168. https:\/\/doi.org\/10.1007\/978--3--642--21437-0_14","journal-title":"Experience Report"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105726.3106184"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2839509.2844657"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2632320.2632355"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155660"},{"key":"e_1_3_2_1_18_1","volume-title":"United Kingdom) (ITiCSE-WGR '04)","author":"Lister Raymond","year":"2004","unstructured":"Raymond Lister , Elizabeth S. Adams , Sue Fitzgerald , William Fone , John Hamer , Morten Lindholm , Robert McCartney , Jan Erik Mostr\u00f6m , Kate Sanders , Otto Sepp\"al\"a, Beth Simon , and Lynda Thomas . 2004 . A Multi-national Study of Reading and Tracing Skills in Novice Programmers. In Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education (Leeds , United Kingdom) (ITiCSE-WGR '04) . ACM, New York, NY, USA, 119--150. https:\/\/doi.org\/10.1145\/1044550.1041673 Raymond Lister, Elizabeth S. Adams, Sue Fitzgerald, William Fone, John Hamer, Morten Lindholm, Robert McCartney, Jan Erik Mostr\u00f6m, Kate Sanders, Otto Sepp\"al\"a, Beth Simon, and Lynda Thomas. 2004. A Multi-national Study of Reading and Tracing Skills in Novice Programmers. In Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education (Leeds, United Kingdom) (ITiCSE-WGR '04). ACM, New York, NY, USA, 119--150. https:\/\/doi.org\/10.1145\/1044550.1041673"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676723.2677227"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevPhysEducRes.12.010122"},{"key":"e_1_3_2_1_22_1","volume-title":"Tool-Assisted Loop Invariant Development and Analysis. In 29th IEEE International Conference on Software Engineering Education and Training, CSEET 2016","author":"Priester Caleb","year":"2016","unstructured":"Caleb Priester , Yu-Shan Sun , and Murali Sitaraman . 2016 . Tool-Assisted Loop Invariant Development and Analysis. In 29th IEEE International Conference on Software Engineering Education and Training, CSEET 2016 , Dallas, TX, USA, April 5--6 , 2016. 66--70. https:\/\/doi.org\/10.1109\/CSEET.2016.28 Caleb Priester, Yu-Shan Sun, and Murali Sitaraman. 2016. Tool-Assisted Loop Invariant Development and Analysis. In 29th IEEE International Conference on Software Engineering Education and Training, CSEET 2016, Dallas, TX, USA, April 5--6, 2016. 66--70. https:\/\/doi.org\/10.1109\/CSEET.2016.28"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3077618"},{"key":"e_1_3_2_1_24_1","volume-title":"Those who understand: Knowledge growth in teaching. Educational researcher","author":"Shulman Lee S","year":"1986","unstructured":"Lee S Shulman . 1986. Those who understand: Knowledge growth in teaching. Educational researcher , Vol. 15 , 2 ( 1986 ), 4--14. Lee S Shulman. 1986. Those who understand: Knowledge growth in teaching. Educational researcher, Vol. 15, 2 (1986), 4--14."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0154-3"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2006.322570"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105726.3106188"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1584322.1584336"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1473195.1473220"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230977.3231005"}],"event":{"name":"ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Virtual Event Germany","acronym":"ITiCSE 2021"},"container-title":["Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3430665.3456351","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3430665.3456351","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3430665.3456351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:22Z","timestamp":1750193242000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3430665.3456351"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,26]]},"references-count":30,"alternative-id":["10.1145\/3430665.3456351","10.1145\/3430665"],"URL":"https:\/\/doi.org\/10.1145\/3430665.3456351","relation":{},"subject":[],"published":{"date-parts":[[2021,6,26]]},"assertion":[{"value":"2021-06-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}