Model-Based-Diagnosis for Assistance in Programming Exercises.
Moritz BayerkuhnleinDiedrich WolterPublished in: ECAI Workshops (2) (2023)
Keyphrases
- model based diagnosis
- programming exercises
- automatic assessment
- diagnostic reasoning
- object oriented programming
- model based reasoning
- dynamic systems
- fault localization
- discrete event systems
- learning tools
- computer programming
- physical systems
- constraint programming
- fault models
- model checking
- programming concepts
- automatic analysis
- learning experience
- repair actions