Improving the engineering of model tracing based intelligent program diagnosis

IEE Proceedings: Software

Volumn 144, Issue 3, 1997, Pages 149-161

  Ramadhan, H A ^a  

^a SULTAN QABOOS UNIVERSITY   (Oman)

Author keywords

Automatic program debugging; Immediate feedback; Intelligent tutoring systems; Model tracing; Programming environments

Indexed keywords

ERROR DETECTION; INTELLIGENT NETWORKS; MATHEMATICAL MODELS; MODAL ANALYSIS; PROGRAM DIAGNOSTICS; PROGRAMMING THEORY;

PROGRAMMING ENVIRONMENT;

PROGRAM DEBUGGING;

EID: 0031153018     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:19971234     Document Type: Article

References (25)

1. ANDERSON, J.: 'Acquisition of cognitive skill', Psycholog. Rev., 1982, 89, pp. 369-406
2. ANDERSON, J.: 'Cognitive modeling and intelligent tutoring' in CLANCY and SOLOWAY, (Eds.): 'Artificial Intelligence and learning environments' (MIT/Elsevier, 1990)
3. BARR, A.: 'The computer as a computer laboratory', Int. J. Man-Mach. Stud., 1976, 8, pp. 567-596
4. BONAR, G.: 'Intelligent tutoring with intermediate representations'. Proceedings of the second conference on Intelligent tutoring systems (ITS-92), Canada, 1992
5. JOHNSON, W.: 'Understanding and debugging novice programs' in CLANCY and SOLOWAY, (Eds.): 'Artificial intelligence and learning environments' (MIT/Elsevier, 1990)
6. MURRAY, W.: 'Automatic program debugging for intelligent tutoring systems'. PhD thesis, Texas University, Austin, 1986
7. RAMADHAN, H.: 'Intelligent vs. unintelligent programming systems for novices'. Proceedings of the IEEE 15th international conference on Computer applications and systems, USA, 1992
8. SHAPIRO, E.: 'Algorithmic program debugging' (MIT Press, MIT, 1983)
9. RICH, E.: 'Characterization of plan-based program analysis approaches to debugging'. Personal communication, April 1986
10. REISER, B.: 'Making process visible: scaffolding learning with reasoning-congruent representations'. Proceedings of the 2nd conference on Intelligent tutoring systems (ITS '92), Montreal, 1992
11. NWANA, H.: 'An approach to developing intelligent tutors'. Proceedings of the 6th international PEG conference on Knowledge based environments for leaching and learning, Italy, 1991
12. WENGER, E.: 'Artificial intelligence and tutoring systems' (Morgan Kaufmann Publishers, USA, 1987)
13. SOLOWAY, E.: 'Empirical studies of programming knowledge', IEEE Trans. Softw. Eng., September 1984,
14. NANJA, M.: 'An investigation of the on-line debugging process of expert and novice student programmers'. PhD thesis, Oregon State University, 1988
15. SPOHRER, J.: 'A goal/plan analysis of buggy Pascal programs', Hum. Comput. Interact., 1985, 1, (2), pp. 163-207
16. CLANCY, W.: 'Qualitative student models', Ann. Rev. Comput. Sci., 1987, 1, pp. 381-450
17. LOOI, C.: 'APROPOS', Instr. Sci., 1993, 20, (2/3)
18. KESSLER, C., and ANDERSON, J.: 'A model of novice debugging in LISP' in SOLOWAY, E., and IYENGAR, S. (Eds.): 'Empirical studies of programmers' (Ablex Inc., Norwood, New Jersey, 1986, pp. 198-212
19. WIEDENBECK, S.: 'Processes in computer program comprehension' in SOLOWAY, E., and IYENGAR, S. (Eds.): 'Empirical studies of programmers' (Ablex Inc., Norwood, New Jersey, 1986, pp. 48-57
20. MAYER, R.: 'The psychology of how novices learn computer programming', Comput. Surv., 1981, 13, pp. 121-141
21. FOSS, C.: 'Productive thrashing in computerized tutoring systems: the acquisition of error management skills'. Proceedings of the 3rd international conference on Artificial intelligence and education, 1987
22. BARRETT, R., RAMSEY, A., and SLOMAN, A.: 'POP-11: a practical language for artificial intelligence' (Ellis Horwood, 1985)
23. ALLEMANG, D.: 'Using functional models in automatic debugging', IEEE Expert, December 1991, pp. 13-18
24. CONSOLE, G.: 'Model-based diagnosis meets error diagnosis in logic programs'. Proceedings of IJCAI'93, Chambery, 1993, pp. 1494-1499
25. RAMADHAN, H.: 'Model-tracing based program diagnosis', J. Sci. Technol., 1997,