{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T19:30:25Z","timestamp":1761766225160,"version":"3.37.3"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2018,10,1]],"date-time":"2018-10-01T00:00:00Z","timestamp":1538352000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100004329","name":"Javna Agencija za Raziskovalno Dejavnost RS","doi-asserted-by":"publisher","award":["J2-4222 (C)"],"award-info":[{"award-number":["J2-4222 (C)"]}],"id":[{"id":"10.13039\/501100004329","id-type":"DOI","asserted-by":"publisher"}]},{"name":"EU Structural Funds and Slovenian Ministry for Education"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Learning Technol."],"published-print":{"date-parts":[[2018,10,1]]},"DOI":"10.1109\/tlt.2017.2743701","type":"journal-article","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T18:09:04Z","timestamp":1503598144000},"page":"429-440","source":"Crossref","is-referenced-by-count":14,"title":["Rewrite Rules for Debugging Student Programs in Programming Tutors"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6310-1058","authenticated-orcid":false,"given":"Timotej","family":"Lazar","sequence":"first","affiliation":[]},{"given":"Aleksander","family":"Sadikov","sequence":"additional","affiliation":[]},{"given":"Ivan","family":"Bratko","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"30","article-title":"Intelligent tutoring goes to school in the big city","volume":"8","author":"koedinger","year":"1997","journal-title":"Int J Artif Intell Educ"},{"key":"ref11","first-page":"147","article-title":"The Andes physics tutoring system: Lessons learned","volume":"15","author":"vanlehn","year":"2005","journal-title":"Int J Artif Intell Educ"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s11257-011-9105-9"},{"key":"ref13","first-page":"173","article-title":"An intelligent SQL tutor on the Web","volume":"13","author":"mitrovic","year":"2003","journal-title":"Int J Artif Intell Educ"},{"key":"ref14","first-page":"142","article-title":"J-LATTE: A constraint-based tutor for Java","author":"holland","year":"2009","journal-title":"Proc 17th Int Conf Comput Educ"},{"key":"ref15","first-page":"381","article-title":"Using weighted constraints to diagnose errors in logic programming  the case of an ill-defined domain","volume":"19","author":"le","year":"2009","journal-title":"Int J Artif Intell Ed"},{"key":"ref16","first-page":"47","article-title":"Plan ahead: Pricing ITS learner models","author":"folsom-kovarik","year":"2010","journal-title":"Proc Behavior Representation Model Sim Conf"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30950-2_40"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2724660.2724668"},{"key":"ref19","first-page":"1","article-title":"Data-driven hint generation in vast solution spaces: A self-improving Python programming tutor","author":"rivers","year":"2015","journal-title":"Int J Artif Intell Educ"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/365024.365111"},{"key":"ref4","first-page":"227","article-title":"The behavior of tutoring systems","volume":"16","author":"vanlehn","year":"2006","journal-title":"Int J Artif Intell Educ"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/978-3-319-07221-0_38","article-title":"Data-driven program synthesis for hint generation in programming tutors","author":"lazar","year":"2014","journal-title":"Proc Int Conf Intell Tutoring Syst"},{"key":"ref3","first-page":"350","article-title":"The defining characteristics of intelligent tutoring systems research: ITSs care, precisely","volume":"10","author":"self","year":"1998","journal-title":"Int J Artif Intell Educ"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v34i3.2484"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/11774303_39"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/978-94-017-0819-7_17","article-title":"An overview of intelligent tutoring system authoring tools: Updated analysis of the state of the art","author":"murray","year":"2003","journal-title":"Authoring Tools for Advanced Technology Learning Environments"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0364-0213(89)90021-9"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/978-3-540-69132-7_41","article-title":"Toward automatic hint generation for logic proof tutoring using historical student data","author":"barnes","year":"2008","journal-title":"Proc Int Conf Intell Tutoring Syst"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1080\/00461520.2011.611369"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/6592.6593"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2307\/1175554"},{"key":"ref20","first-page":"25","article-title":"Syntactic and functional variability of a million code submissions in a machine learning MOOC","author":"huang","year":"2013","journal-title":"Proc Workshops 16th Int Conf Artif Intell Educ"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2566486.2568023"},{"key":"ref21","first-page":"50","article-title":"Automatic generation of programming feedback: A data-driven approach","author":"rivers","year":"2013","journal-title":"Proc Workshops 16th Int Conf Artif Intell Educ"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00034-9"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/2499370.2462195","article-title":"Automated feedback generation for introductory programming assignments","volume":"48","author":"singh","year":"2013","journal-title":"ACM SIGPLAN Notices"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2004.02.001"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.11.003"}],"container-title":["IEEE Transactions on Learning Technologies"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4620076\/8581690\/08016401.pdf?arnumber=8016401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T02:16:59Z","timestamp":1643249819000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8016401\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,1]]},"references-count":29,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tlt.2017.2743701","relation":{},"ISSN":["1939-1382","2372-0050"],"issn-type":[{"type":"electronic","value":"1939-1382"},{"type":"electronic","value":"2372-0050"}],"subject":[],"published":{"date-parts":[[2018,10,1]]}}}