{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T08:10:09Z","timestamp":1748074209740,"version":"3.41.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[1997,10]]},"DOI":"10.1023\/a:1008632729798","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"439-461","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Problem Description from Model Program for Knowledge-based Programming Tutor"],"prefix":"10.1007","volume":"4","author":[{"given":"S.-H.","family":"Hahn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"139416_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2279-9","volume-title":"A Knowledge-based Approach to Program Understanding","author":"S. K. Abd-El-Hafiz","year":"1995","unstructured":"S. K. Abd-El-Hafiz and V. R. Basili, A Knowledge-based Approach to Program Understanding. Norwell, Massachusetts: Kluwer Academic Publishers, 1995."},{"key":"139416_CR2","unstructured":"J. R. Anderson, C. F. Boyle, and G. Yost, \"The geometry tutor,\" in The 9th International Joint Confenrence on AI, pp. 1\u20137, 1985."},{"key":"139416_CR3","doi-asserted-by":"crossref","unstructured":"K. Bertels, P. Vanneste, and C. D. Baeker, \"A cognitive approach to program understanding,\" in Proc.the Working Conference on Reverse Engineering, (Baltimore Maryland), pp. 1\u20137, 1993.","DOI":"10.1109\/WCRE.1993.287784"},{"key":"139416_CR4","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1016\/S0020-7373(83)80031-5","volume":"18","author":"R. Brooks","year":"1983","unstructured":"R. Brooks, \"Towards a theory of the comprehension of computer programs,\" Int.J.Man-Machine Studies, vol. 18, pp. 543\u2013554, 1983.","journal-title":"Int. J. Man-Machine Studies"},{"key":"139416_CR5","unstructured":"I. Goldstein, \"The genetic graph: a representation for the evolution of procedural knowledge,\" in Intelligent Tutoring Systems (D. Sleeman and J. Brown, eds.), Academic Press, 1982."},{"key":"139416_CR6","unstructured":"S. H. Hahn, J. Song, S. Kim, K. Tak, and J. Kim, \"A programming tutoring system for novice c programmers,\" in PRICAI 96 Workshop on Knowledge-based Instructional Systems in an Industrial Setting, (Cairns, Austrailia), pp. 1\u201312, 1996."},{"issue":"1","key":"139416_CR7","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/52.43052","volume":"7","author":"M. T. Harandi","year":"1990","unstructured":"M. T. Harandi and J. Q. Ning, \"Pat: a knowledge-based program analysis,\" IEEE Trans.on Software Engineering, vol. 7, no. 1, pp. 74\u201381, 1990.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"139416_CR8","doi-asserted-by":"crossref","unstructured":"J. Hartman, \"Understanding natural programs using proper decomposition,\" in Proc.of the 13th INternational Confenrence on Software Engineering, (Austin, Texas), pp. 62\u201373, 1991.","DOI":"10.1109\/ICSE.1991.130624"},{"issue":"1","key":"139416_CR9","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/52.43050","volume":"7","author":"P. A. Hausler","year":"1990","unstructured":"P. A. Hausler, M. G. Pleszkoch, R. C. Linger, and A. R. Henver, \"Using function abstraction to understand program behavior,\" IEEE Trans.on Software Engineering, vol. 7, no. 1, pp. 55\u201363, 1990.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"4","key":"139416_CR10","first-page":"179","volume":"10","author":"W. L. Johnson","year":"1985","unstructured":"W. L. Johnson and E. Soloway, \"Proust: An automatic debugger for pascal programs,\" Byte, vol. 10, no. 4, pp. 179\u2013190, 1985.","journal-title":"Byte"},{"key":"139416_CR11","unstructured":"W. Johnson and E. Soloway, \"Proust: An automatic debugger for pascal programs,\" in AI and Instruction (G. Kearsley, ed.), Addison-Wesley, 1987."},{"key":"139416_CR12","volume-title":"Intention-Based Diagnosis of Novice Programming Errors","author":"W. L. Johnson","year":"1986","unstructured":"W. L. Johnson, Intention-Based Diagnosis of Novice Programming Errors. Los Altos, California: Morgan Kaufmann, 1986."},{"issue":"3","key":"139416_CR13","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1002\/spe.4380150504","volume":"15","author":"R. A. Kemmerer","year":"1985","unstructured":"R. A. Kemmerer and S. T. Eckmann, \"Unisex: a unix-based symbolic executor for pascal,\" Software Practice and Experience, vol. 15, no. 3, pp. 439\u2013458, 1985.","journal-title":"Software Practice and Experience"},{"key":"139416_CR14","volume-title":"The C Programming Language","author":"B. W. Kernighan","year":"1989","unstructured":"B. W. Kernighan and D. M. Ritchie, The C Programming Language, 2nd ed. New Delhi: Printice-Hall Software Series, 1989.","edition":"2nd ed."},{"key":"139416_CR15","unstructured":"S. W. Kim, S. H. Hahn, and J. Kim, \"Algorithm recognition using flow graph transformation,\" in Proc.Pacific Rim Int.Conf.of Artif.Intell, (Beijing, China), pp. 686\u2013692, 1994."},{"key":"139416_CR16","volume-title":"C language easy to learn","author":"K. H. Lee","year":"1990","unstructured":"K. H. Lee and et al, C language easy to learn. Seoul, Korea: Hong Rung Press, 1990."},{"key":"139416_CR17","unstructured":"S. Letovski, \"Program understanding with the lambda calculus,\" in Int.Joint Conference on Artificial Intelligence, (Milan, Italy), pp. 512\u2013514, 1987."},{"key":"139416_CR18","volume-title":"Automatic Program Debugging for Intelligent Tutoring Systems","author":"W. R. Murray","year":"1988","unstructured":"W. R. Murray, Automatic Program Debugging for Intelligent Tutoring Systems. San Mateo, California: Morgan Kaufmann, 1988."},{"key":"139416_CR19","unstructured":"J. Q. Ning, \"A knowledge-based approach to automatic program analysis,\" tech. rep., Univ. of Illinois, Urbana-Chanpaign, 1989. PhD thesis."},{"key":"139416_CR20","doi-asserted-by":"crossref","unstructured":"A. Quilici, \"A hybrid approach to recognizing programming plans,\" in Proc.the Working Conference on Reverse Engineering, (Baltimore Maryland), pp. 126\u2013133, 1993.","DOI":"10.1109\/WCRE.1993.287772"},{"key":"139416_CR21","volume-title":"The Programmer's Apprentice","author":"C. Rich","year":"1990","unstructured":"C. Rich and R. C. Waters, The Programmer's Apprentice. Massachusetts: Addison-Wesley, 1990."},{"key":"139416_CR22","doi-asserted-by":"crossref","unstructured":"C. Rich, \"Inspection methods in programming,\" Tech. Rep. AI-TR-604, MIT-AILAB, 1981.","DOI":"10.1038\/294604a0"},{"key":"139416_CR23","first-page":"65","volume":"7","author":"G. R. Ruth","year":"1976","unstructured":"G. R. Ruth, \"Intelligent program analysis,\" Int.J.Artificial Intelligence, vol. 7, pp. 65\u201385, 1976.","journal-title":"Int. J. Artificial Intelligence"},{"key":"139416_CR24","unstructured":"H. E. Shrobe, \"Dependency directed reasoning in the analysis of programs which modify complex data structures,\" in Int.Joint Conference on Artificial Intelligence, (Tokyo, Japan), pp. 829\u2013835, 1979."},{"issue":"11","key":"139416_CR25","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1145\/182.358436","volume":"26","author":"E. Soloway","year":"1983","unstructured":"E. Soloway, J. Bonar, and K. Ehrlich, \"Cognitive strategies and looping constructs: an emperical study,\" Commu-nications of the ACM, vol. 26, no. 11, pp. 853\u2013860, 1983.","journal-title":"Commu-nications of the ACM"},{"issue":"9","key":"139416_CR26","doi-asserted-by":"crossref","first-page":"850","DOI":"10.1145\/6592.6594","volume":"29","author":"E. Soloway","year":"1986","unstructured":"E. Soloway, \"Learning to program = learning to construct mechanisms and explanations,\" Communications of the ACM, vol. 29, no. 9, pp. 850\u2013858, 1986.","journal-title":"Communications of the ACM"},{"key":"139416_CR27","first-page":"638","volume":"92","author":"J. Song","year":"1992","unstructured":"J. Song and J. Kim, \"Exbug: An automatic debugger by plan matching and program execution,\" in PRICAI 92, (Seoul, Korea), pp. 638\u2013644, 1992.","journal-title":"PRICAI"},{"key":"139416_CR28","volume-title":"Curriculum description and design of tutoring module for programming tutoring system","author":"K. Y. Tak","year":"1995","unstructured":"K. Y. Tak, \"Curriculum description and design of tutoring module for programming tutoring system,\" tech. rep., Korea Advanced Institute of Science and Technology, Taejon, Korea, 1995. MS thesis."},{"key":"139416_CR29","unstructured":"H. Ueno, \"Alpus: A program understanding system by means of algorithm-based programming knowledge,\" in Proc.Pacific Rim International Conf.on Artificial Intelligence, pp. 693\u2013698, JISS, 1990."},{"key":"139416_CR30","unstructured":"P. Vanneste, \"Areverse engineering approach to novice program analysis,\" tech. rep., KULeuven Campus Kortrijk (KULAK), Holland, 1994. Ph.D dissertion."},{"key":"139416_CR31","doi-asserted-by":"crossref","unstructured":"M. Ward, F. Calliss, and M. Munro, \"The maintainer's assistant,\" in Proc.of the Conference on Software Maintenance, (Miami, Florida), pp. 307\u2013315, 1989.","DOI":"10.1109\/ICSM.1989.65225"},{"key":"139416_CR32","unstructured":"C. R. Waters, \"Kbemacs: A step toward the programmer's apprentice,\" Tech. Rep. AI-TR-753, MIT-AILAB, May 1985."},{"issue":"4","key":"139416_CR33","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"M. Weiser, \"Program slicing,\" IEEE Trans.on Software Engineering, vol. 10, no. 4, pp. 352\u2013357, 1984.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"139416_CR34","doi-asserted-by":"crossref","unstructured":"L. M. Wills, \"Automated program recognition by graph parsing,\" Tech. Rep. AI-TR-1358, MIT-AILAB, July 1992.","DOI":"10.21236\/ADA259609"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008632729798.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008632729798\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008632729798.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:36:28Z","timestamp":1748072188000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008632729798"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,10]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,10]]}},"alternative-id":["139416"],"URL":"https:\/\/doi.org\/10.1023\/a:1008632729798","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1997,10]]}}}