Journal Article10.1016/0004-3702(90)90094-G
Understanding and debugging novice programs
TL;DR: A system called PROUST is described which performs intention-based diagnosis of errors in novice PASCAL programs and achieves high performance in finding bugs in nontrivial student programs.
read more
About: This article is published in Artificial Intelligence. The article was published on 03 Jan 1990. The article focuses on the topics: Pascal (programming language) & Debugging.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
The Andes Physics Tutoring System: Lessons Learned
Kurt VanLehn,Collin F. Lynch,Kay G. Schulze,Joel A. Shapiro,Robert Shelby,Linwood Taylor,Don Treacy,Anders Weinstein,Mary C. Wintersgill +8 more
- 01 Aug 2005
TL;DR: The Andes system demonstrates that student learning can be significantly increased by upgrading only their homework problem-solving support, and its key feature appears to be the grain-size of interaction.
A Systematic Literature Review of Automated Feedback Generation for Programming Exercises
TL;DR: It is found that feedback mostly focuses on identifying mistakes and less on fixing problems and taking a next step, and teachers cannot easily adapt tools to their own needs.
286
Stereotypes, Student Models and Scrutability
Judy Kay
- 19 Jun 2000
TL;DR: In this paper, the role of stereotypes in classic approaches to student modelling via overlay, differential and buggy models is discussed, and a working definition of stereotypes for student modelling is given, which enables learners to scrutinise their models to determine what the system believes about them and how it determined those beliefs.
156
Towards a Systematic Review of Automated Feedback Generation for Programming Exercises
Hieke Keuning,Johan Jeuring,Bastiaan Heeren +2 more
- 11 Jul 2016
TL;DR: It has been found that tools do not often give feedback on fixing problems and taking a next step, and that teachers cannot easily adapt tools to their own needs.
154
•Journal Article
Stereotypes, student models and scrutability
TL;DR: The paper explores the ways that scrutable stereotypes can provide a foundation for learners to tune their student models and explore the impact of the student model.
145
References
Diagnostic Models for Procedural Bugs in Basic Mathematical Skills
TL;DR: A new diagnostic modeling system for automatically synthesizing a deep-structure model of a student's misconceptions or bugs in his basic mathematical skills provides a mechanism for explaining why a student is making a mistake as opposed to simply identifying the mistake.
1.2K
•Book
Algorithmic Program Debugging
Ehud Shapiro
- 14 Apr 1983
TL;DR: An algorithm that can fix a bug that has been identified, and integrate it with the diagnosis algorithms to form an interactive debugging system that can debug programs that are too complex for the Model Inference System to synthesize.
1.2K
Empirical Studies of Programming Knowledge
Elliot Soloway,Kate Ehrlich +1 more
TL;DR: Two empirical studies attempt to evaluate the hypothesis that expert programmers have and use two types of programming knowledge: programming plans, which are generic program fragments that represent stereotypic action sequences in programming, and rules of programming discourse, which capture the conventions in programming and govern the composition of the plans into programs.
936
Data Flow Analysis in Software Reliability
TL;DR: The ways that the methods of data flow analysis can be applied to improve software reliability are described and how fast algorithms can be used to implement a classification scheme for data flow are shown.