Intention-based diagnosis of errors in novice programs
Intention-based diagnosis of errors in novice programs
Artificial Intelligence
Understanding programs as devices
Understanding programs as devices
Exploring the no-function-in-structure principle
Journal of Experimental & Theoretical Artificial Intelligence
Automatic Program DeBugging for Intelligent Tutoring Systems
Automatic Program DeBugging for Intelligent Tutoring Systems
Mdx2: an integrated medical diagnostic system
Mdx2: an integrated medical diagnostic system
Machine understanding of devices: causal explanation of diagnostic conclusions
Machine understanding of devices: causal explanation of diagnostic conclusions
Integration of case-based reasoning and model-based reasoning for adaptive design problem-solving
Integration of case-based reasoning and model-based reasoning for adaptive design problem-solving
Nostrum: constraint directed diagnosis (fault diagnosis)
Nostrum: constraint directed diagnosis (fault diagnosis)
An integration of scenarios with their purposes in task modeling
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Proceedings of the 1999 ACM symposium on Applied computing
A survey of software reuse libraries
Annals of Software Engineering
Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
It is shown that applying functional reasoning to program debugging brings the crisp semantics of programming languages to functional representation. In return, functional reasoning resolves the dispute between plan-based and semantics-based debugging approaches. A description is given of a debugger called DUDU (debugging using device understanding), which identifies correct programs and gives meaningful explanations about why incorrect programs are incorrect. In addition to template information, the representation includes fragments of causal stories at various levels of abstraction.