{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T16:26:43Z","timestamp":1779121603081,"version":"3.51.4"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319614243","type":"print"},{"value":"9783319614250","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61425-0_14","type":"book-chapter","created":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T10:07:41Z","timestamp":1498126061000},"page":"162-174","source":"Crossref","is-referenced-by-count":15,"title":["Automatic Extraction of AST Patterns for Debugging Student Programs"],"prefix":"10.1007","author":[{"given":"Timotej","family":"Lazar","sequence":"first","affiliation":[]},{"given":"Martin","family":"Mo\u017eina","sequence":"additional","affiliation":[]},{"given":"Ivan","family":"Bratko","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,23]]},"reference":[{"key":"14_CR1","unstructured":"Bagrak, I., Shivers, O.: trx: regular-tree expressions, now in scheme. In: Proceeding of Fifth Workshop on Scheme and Functional Programming, pp. 21\u201332 (2004)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Clark, P., Boswell, R.: Rule induction with CN2: some recent improvements. In: Proceeding Fifth European Conference on Machine Learning, pp. 151\u2013163 (1991)","DOI":"10.1007\/BFb0017011"},{"key":"14_CR3","first-page":"2349","volume":"14","author":"J Dem\u0161ar","year":"2013","unstructured":"Dem\u0161ar, J., Curk, T., Erjavec, A., Gorup, \u010c., Ho\u010devar, T., Milutinovi\u010d, M., Mo\u017eina, M., Polajnar, M., Toplak, M., Stari\u010d, A., \u0161tajdohar, M., Umek, L., \u017dagar, L., \u017dbontar, J., \u017ditnik, M., Zupan, B.: Orange: data mining toolbox in Python. J. Mach. Learn. Res. 14, 2349\u20132353 (2013). \nhttp:\/\/jmlr.org\/papers\/v14\/demsar13a.html","journal-title":"J. Mach. Learn. Res."},{"key":"14_CR4","unstructured":"Folsom-Kovarik, J.T., Schatz, S., Nicholson, D.: Plan ahead: pricing ITS learner models. In: Proceeding 19th Behavior Representation in Modeling & Simulation Conference, pp. 47\u201354 (2010)"},{"key":"14_CR5","unstructured":"Gerdes, A., Heeren, B., Jeuring, J., van Binsbergen, L.T.: Ask-elle: an adaptable programming tutor for haskell giving automated feedback. Int. J. Artif. Intell. Educ. \nhttps:\/\/link.springer.com\/article\/10.1007\/s40593-015-0080-x"},{"key":"14_CR6","unstructured":"Holland, J., Mitrovic, A., Martin, B.: J-LATTE: a constraint-based tutor for Java. In: Proceeding 17th International Conference Computers in Education (ICCE 2009), pp. 142\u2013146 (2009)"},{"issue":"4","key":"14_CR7","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1016\/j.ijhcs.2004.02.001","volume":"61","author":"J Hong","year":"2004","unstructured":"Hong, J.: Guided programming and automated error analysis in an intelligent Prolog tutor. Int. J. Hum.-Comput. Stud. 61(4), 505\u2013534 (2004)","journal-title":"Int. J. Hum.-Comput. Stud."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Jin, W., Barnes, T., Stamper, J., Eagle, M.J., Johnson, M.W., Lehmann, L.: Program representation for automatic hint generation for a data-driven novice programming tutor. In: Proceeding of 11th International Conference Intelligent Tutoring Systems, pp. 304\u2013309 (2012)","DOI":"10.1007\/978-3-642-30950-2_40"},{"issue":"1","key":"14_CR9","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(90)90094-G","volume":"42","author":"WL Johnson","year":"1990","unstructured":"Johnson, W.L.: Understanding and debugging novice programs. Artif. Intell. 42(1), 51\u201397 (1990)","journal-title":"Artif. Intell."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Keuning, H., Jeuring, J., Heeren, B.: Towards a systematic review of automated feedback generation for programming exercises. In: Proceeding of 2016 ACM Conference on Innovation and Technology in Computer Science Education, pp. 41\u201346. ACM (2016)","DOI":"10.1145\/2899415.2899422"},{"issue":"3","key":"14_CR11","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/TLT.2013.16","volume":"6","author":"NT Le","year":"2013","unstructured":"Le, N.T., Loll, F., Pinkwart, N.: Operationalizing the continuum between well-defined and ill-defined problems for educational technology. IEEE Trans. Learn. Technol. 6(3), 258\u2013270 (2013)","journal-title":"IEEE Trans. Learn. Technol."},{"issue":"4","key":"14_CR12","first-page":"381","volume":"19","author":"NT Le","year":"2009","unstructured":"Le, N.T., Menzel, W.: Using weighted constraints to diagnose errors in logic programming - the case of an ill-defined domain. Int. J. Artif. Intell. Educ. 19(4), 381\u2013400 (2009)","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"14_CR13","unstructured":"Levy, R., Andrew, G.: Tregex and Tsurgeon: tools for querying and manipulating tree data structures. In: 5th International Conference Language Resources and Evaluation (2006)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Li, S., Xiao, X., Bassett, B., Xie, T., Tillmann, N.: Measuring code behavioral similarity for programming and software engineering education. In: Proceeding 38th International Conference on Software Engineering Companion, pp. 501\u2013510. ACM (2016)","DOI":"10.1145\/2889160.2889204"},{"issue":"1\u20132","key":"14_CR15","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s11257-011-9105-9","volume":"22","author":"A Mitrovic","year":"2012","unstructured":"Mitrovic, A.: Fifteen years of constraint-based tutors: what we have achieved and where we are going. User Model. User-Adap. Inter. 22(1\u20132), 39\u201372 (2012)","journal-title":"User Model. User-Adap. Inter."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Nguyen, A., Piech, C., Huang, J., Guibas, L.: Codewebs: scalable homework search for massive open online programming courses. In: Proceeding 23rd International Conference World Wide Web, pp. 491\u2013502 (2014)","DOI":"10.1145\/2566486.2568023"},{"key":"14_CR17","unstructured":"Rivers, K., Koedinger, K.R.: Data-driven hint generation in vast solution spaces: a self-improving Python programming tutor. Int. J. Artif. Intell. Educ. \nhttps:\/\/link.springer.com\/article\/10.1007\/s40593-015-0070-z"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61425-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,27]],"date-time":"2017-10-27T05:22:12Z","timestamp":1509081732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61425-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614243","9783319614250"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61425-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}