{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T08:02:53Z","timestamp":1778313773927,"version":"3.51.4"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2003,4]]},"DOI":"10.1109\/tse.2003.1191799","type":"journal-article","created":{"date-parts":[[2003,4,8]],"date-time":"2003-04-08T20:43:28Z","timestamp":1049834608000},"page":"360-384","source":"Crossref","is-referenced-by-count":45,"title":["Transformation-based diagnosis of student programs for programming tutoring systems"],"prefix":"10.1109","volume":"29","author":[{"family":"Songwen Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yam San Chee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/64.108947"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0802_1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2279-9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90023-5"},{"key":"ref5","first-page":"361","article-title":"A Pascal Program Checker","volume-title":"Artificial Intelligence and Human Learning","author":"Elsom-Cook","year":"1988"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"issue":"2","key":"ref7","first-page":"255","article-title":"Exploiting Program Schemata in an Automated Program Debugger","volume":"5","author":"Gegg-Harrison","year":"1994","journal-title":"J. Artificial Intelligence in Education"},{"key":"ref8","volume-title":"Smalltalk-80: The Language and its Implementation","author":"Goldberg","year":"1983"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008632729798"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(95)01042-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/93548.93574"},{"key":"ref12","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft","year":"1979"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1994.336770"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232210"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.184761"},{"key":"ref16","volume-title":"Cognitive Models and Intelligent Environments for Learning Programming","author":"Lemut","year":"1992"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BF00120883"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/321992.322000"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF02063806"},{"key":"ref20","volume-title":"Advanced Compiler Design and Implementation","author":"Muchnick","year":"1997"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1987.tb00169.x"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90028-0"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/52.43053"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-1315(97)00021-3"},{"issue":"9","key":"ref26","first-page":"1108","article-title":"Concepts and Methodologies for Knowledge-Based Program Understanding-the ALPUS\u2019s Approach","volume":"E78\u2013D","author":"Ueno","year":"1995","journal-title":"IEICE Trans. Information and Systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/131736.131756"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/26713\/01191799.pdf?arnumber=1191799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:49:36Z","timestamp":1742100576000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1191799\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,4]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2003.1191799","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}