{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:46:20Z","timestamp":1742913980530,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319089089"},{"type":"electronic","value":"9783319089096"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08909-6_15","type":"book-chapter","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T06:02:05Z","timestamp":1405058525000},"page":"234-249","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Heuristic Search over Program Transformations"],"prefix":"10.1007","author":[{"given":"Claus","family":"Zinn","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,12]]},"reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1207\/s15327809jls0402_2","volume":"4","author":"JR Anderson","year":"1995","unstructured":"Anderson, J.R., Corbett, A.T., Koedinger, K.R., Pelletier, R.: Cognitive tutors: lessons learned. J. Learn. Sci. 4(2), 167\u2013207 (1995)","journal-title":"J. Learn. Sci."},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1207\/s15516709cog0202_4","volume":"2","author":"JS Brown","year":"1978","unstructured":"Brown, J.S., Burton, R.R.: Diagnostic models for procedural bugs in basic mathematical skills. Cogn. Sci. 2, 155\u2013192 (1978)","journal-title":"Cogn. Sci."},{"key":"15_CR3","unstructured":"Burton, R.R.: Debuggy: diagnosis of errors in basic mathematical skills. In: Sherman, D., Brown, J.S. (eds.) Intelligent Tutoring Systems. Academic Press, London (1982)"},{"issue":"4","key":"15_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. Computer 11(4), 34\u201341 (1978)","journal-title":"Computer"},{"issue":"3","key":"15_CR5","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s11786-010-0027-4","volume":"3","author":"B Heeren","year":"2010","unstructured":"Heeren, B., Jeuring, J., Gerdes, A.: Specifying rewrite strategies for interactive exercises. Math. Comput. Sci. 3(3), 349\u2013370 (2010)","journal-title":"Math. Comput. Sci."},{"issue":"3","key":"15_CR6","first-page":"235","volume":"9","author":"P Kilper\u00e4inen","year":"1990","unstructured":"Kilper\u00e4inen, P., Mannila, H.: Generation of test cases for simple prolog programs. Acta Cybern. 9(3), 235\u2013246 (1990)","journal-title":"Acta Cybern."},{"key":"15_CR7","unstructured":"Langley, P., Cummings, K.: Hierarchical skills and cognitive architectures. In: 26th Annual Conference of the Cognitive Science Society, pp. 779\u2013784 (2004)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Toaldo, J.R., Vergilio, S.R.: Applying mutation testing in prolog programs. http:\/\/www.lbd.dcc.ufmg.br\/colecoes\/wtf\/2006\/st2_1.pdf","DOI":"10.5753\/wtf.2006.23347"},{"key":"15_CR9","volume-title":"Mind bugs: The Origins of Procedural Misconceptions","author":"K VanLehn","year":"1990","unstructured":"VanLehn, K.: Mind bugs: The Origins of Procedural Misconceptions. MIT Press, Cambridge (1990)"},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1207\/s15516709cog0502_3","volume":"5","author":"RM Young","year":"1981","unstructured":"Young, R.M., O\u2019Shea, T.: Errors in children\u2019s subtraction. Cogn. Sci. 5(2), 153\u2013177 (1981)","journal-title":"Cogn. Sci."},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","first-page":"357","volume-title":"KI 2011: Advances in Artificial Intelligence","author":"C Zinn","year":"2011","unstructured":"Zinn, C.: Algorithmic debugging to support cognitive diagnosis in tutoring systems. In: Bach, J., Edelkamp, S. (eds.) KI 2011. LNCS (LNAI), vol. 7006, pp. 357\u2013368. Springer, Heidelberg (2011)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-38197-3_15","volume-title":"Logic-Based Program Synthesis and Transformation","author":"C Zinn","year":"2013","unstructured":"Zinn, C.: Program analysis and manipulation to reproduce learners\u2019 erroneous reasoning. In: Albert, E. (ed.) LOPSTR 2012. LNCS, vol. 7844, pp. 228\u2013243. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08909-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T05:28:49Z","timestamp":1689398929000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08909-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319089089","9783319089096"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08909-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"12 July 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}