7 citations · 18 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.HC2020
Model-Driven Synthesis for Programming Tutors
Niek Mulleners, Johan Jeuring, Bastiaan Heeren
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 experim…
cs.LO2020★ 4 cited
Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction
Josje Lodder, Bastiaan Heeren, Johan Jeuring
Structural induction is a proof technique that is widely used to prove statements about discrete structures. Students find it hard to construct inductive proofs, and when learning…