Model-Driven Synthesis for Programming Tutors

Niek Mulleners,Johan Jeuring,Bastiaan Heeren
DOI: https://doi.org/10.48550/arXiv.2011.07510
2020-11-15
Abstract:When giving automated feedback to a student working on a beginner's exercise, many programming tutors run into a completeness problem. On the one hand, we want a student to experiment freely. On the other hand, we want a student to write her program in such a way that we can provide constructive feedback. We propose to investigate how we can overcome this problem by using program synthesis, which we use to generate correct solutions that closely match a student program, and give feedback based on the results.
Human-Computer Interaction
What problem does this paper attempt to address?