{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:21Z","timestamp":1750220721536,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,18]],"date-time":"2020-06-18T00:00:00Z","timestamp":1592438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100014718","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DUE-1915334, DUE-1914667, DUE-1915088"],"award-info":[{"award-number":["DUE-1915334, DUE-1914667, DUE-1915088"]}],"id":[{"id":"10.13039\/100014718","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,18]]},"DOI":"10.1145\/3396802.3396807","type":"proceedings-article","created":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T16:12:25Z","timestamp":1591027945000},"page":"52-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions"],"prefix":"10.1145","author":[{"given":"Megan","family":"Fowler","sequence":"first","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}]},{"given":"Eileen T.","family":"Kraemer","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}]},{"given":"Yu-Shan","family":"Sun","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}]},{"given":"Murali","family":"Sitaraman","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}]},{"given":"Jason O.","family":"Hallstrom","sequence":"additional","affiliation":[{"name":"Florida Atlantic University, Boca Raton, Florida, USA"}]},{"given":"Joseph E.","family":"Hollingsworth","sequence":"additional","affiliation":[{"name":"Rose-Hulman Institute of Technology, Terre Haute, Indiana, United States"}]}],"member":"320","published-online":{"date-parts":[[2020,6,18]]},"reference":[{"volume-title":"Proceedings of the Thirty-second SIGCSE Technical Symposium on Computer Science Education","author":"Bucci Paolo","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3197091.3197133"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/611892.611966"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105726.3106190"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Svetlana V. Drachova Jason O. Hallstrom Joseph E. Hollingsworth Joan Krone Richard Pak and Murali Sitaraman. 2015. Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. TOCE 15 3 (2015) 15:1--15:22. https:\/\/doi.org\/10.1145\/2716316  Svetlana V. Drachova Jason O. Hallstrom Joseph E. Hollingsworth Joan Krone Richard Pak and Murali Sitaraman. 2015. Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. TOCE 15 3 (2015) 15:1--15:22. https:\/\/doi.org\/10.1145\/2716316","DOI":"10.1145\/2716316"},{"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\/1089786.1089793"},{"volume-title":"Proceedings of the 50th ACM Technical Symposium on Computer Science Education, SIGCSE 2019","year":"2019","author":"Fowler Megan","key":"e_1_3_2_1_8_1"},{"volume-title":"Proceedings of the Fourteenth SIGCSE Technical Symposium on Computer Science Education","author":"Gerhart Susan L.","key":"e_1_3_2_1_9_1"},{"volume-title":"Leveraging Applications of Formal Methods","author":"Gibson J. Paul","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.14236\/ewic\/FM1998.4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352135.1352226"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445368"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/903893.903919"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1404520.1404527"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445364"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSEET.2017.40"},{"key":"e_1_3_2_1_18_1","unstructured":"RESOLVE Online Tool Introduction. 2019. https:\/\/www.cs.clemson.edu\/resolve\/teaching\/ed_ws\/sigcse2019\/index.html  RESOLVE Online Tool Introduction. 2019. https:\/\/www.cs.clemson.edu\/resolve\/teaching\/ed_ws\/sigcse2019\/index.html"},{"volume-title":"Proceedings of the 41st ACM Technical Symposium on Computer Science Education","author":"Kaczmarczyk Lisa C.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3279720.3279728"},{"volume-title":"Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education (Aberdeen, Scotland Uk) (ITiCSE '19)","year":"1975","author":"Kennedy Cazembe","key":"e_1_3_2_1_21_1"},{"volume-title":"Proceedings of the 3rd European Conference of Software Engineering Education, ECSEE 2018","year":"2018","author":"Kraemer Eileen T.","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2839509.2844657"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462476.2462507"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.589912"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2632320.2632355"},{"volume-title":"United Kingdom) (ITiCSE-WGR '04)","year":"2004","author":"Lister Raymond","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Roxana Moreno. 2004. Decreasing Cognitive Load for Novice Students: Effects of Explanatory versus Corrective Feedback in Discovery-Based Multimedia. Instructional Science 32 (01 2004) 99--113. https:\/\/doi.org\/10.1023\/B:TRUC.0000021811.66966.1d  Roxana Moreno. 2004. Decreasing Cognitive Load for Novice Students: Effects of Explanatory versus Corrective Feedback in Discovery-Based Multimedia. Instructional Science 32 (01 2004) 99--113. https:\/\/doi.org\/10.1023\/B:TRUC.0000021811.66966.1d","DOI":"10.1023\/B:TRUC.0000021811.66966.1d"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3017680.3017762"},{"volume-title":"Tool-Assisted Loop Invariant Development and Analysis. In 29th IEEE International Conference on Software Engineering Education and Training, CSEET 2016","year":"2016","author":"Priester Caleb","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0154-3"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"John Sweller Paul Ayres and Slava Kalyuga. 2011. Cognitive Load Theory. Springer New York New York NY.  John Sweller Paul Ayres and Slava Kalyuga. 2011. Cognitive Load Theory. Springer New York New York NY.","DOI":"10.1007\/978-1-4419-8126-4"},{"key":"e_1_3_2_1_33_1","unstructured":"Allison Elliott Tew. 2010. Assessing Fundamental Introductory Computing Concept Knowledge in a Language Independent Manner. Ph.D. Dissertation. Georgia Institute of Technology Atlanta GA USA. Advisor(s) Guzdial Mark. AAI3451304.  Allison Elliott Tew. 2010. Assessing Fundamental Introductory Computing Concept Knowledge in a Language Independent Manner. Ph.D. Dissertation. Georgia Institute of Technology Atlanta GA USA. Advisor(s) Guzdial Mark. AAI3451304."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/292422.292437"},{"volume-title":"Proceedings of the 46th ACM Technical Symposium on Computer Science Education","year":"1877","author":"Wiggins Joseph B.","key":"e_1_3_2_1_35_1"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.3102\/0034654308320320"},{"volume-title":"Proceedings of the 49th ACM Technical Symposium on Computer Science Education","author":"Xie Benjamin","key":"e_1_3_2_1_37_1"},{"volume-title":"Proceedings of the 45th ACM Technical Symposium on Computer Science Education","author":"Zaccai Diego","key":"e_1_3_2_1_38_1"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1473195.1473220"}],"event":{"name":"ECSEE '20: European Conference on Software Engineering Education","sponsor":["GI Gesellschaft f\u00fcr Informatik e.V. GI Gesellschaft f\u00fcr Informatik e.V.","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Seeon\/Bavaria Germany","acronym":"ECSEE '20"},"container-title":["Proceedings of the 4th European Conference on Software Engineering Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3396802.3396807","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3396802.3396807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:29Z","timestamp":1750199609000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3396802.3396807"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,18]]},"references-count":39,"alternative-id":["10.1145\/3396802.3396807","10.1145\/3396802"],"URL":"https:\/\/doi.org\/10.1145\/3396802.3396807","relation":{},"subject":[],"published":{"date-parts":[[2020,6,18]]},"assertion":[{"value":"2020-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}