8 citations · 31 across the 12 of their papers we have counts for
14 papers
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
Gerben van der Hoek, Bastiaan Heeren, Rogier Bos +2
Computer aided formative assessment can be used to enhance a learning process, for instance by providing feedback. There are many design choices for delivering feedback, that lead…
Investigating Student Reasoning in Method-Level Code Refactoring: A Think-Aloud Study
Eduardo Carneiro Oliveira, Hieke Keuning, Johan Jeuring
Producing code of good quality is an essential skill in software development. Code quality is an aspect of software quality that concerns the directly observable properties of code…
Example-Based Reasoning about the Realizability of Polymorphic Programs
Niek Mulleners, Johan Jeuring, Bastiaan Heeren
Parametricity states that polymorphic functions behave the same regardless of how they are instantiated. When developing polymorphic programs, Wadler's free theorems can serve as f…
Next-Step Hint Generation for Introductory Programming Using Large Language Models
Lianne Roest, Hieke Keuning, Johan Jeuring
Large Language Models possess skills such as answering questions, writing essays or solving programming exercises. Since these models are easily accessible, researchers have invest…
What Skills Do You Need When Developing Software Using ChatGPT? (Discussion Paper)
Johan Jeuring, Roel Groot, Hieke Keuning
Since the release of LLM-based tools such as GitHub Copilot and ChatGPT the media and popular scientific literature, but also journals such as the Communications of the ACM, have b…
A Systematic Mapping Study of Code Quality in Education -- with Complete Bibliography
Hieke Keuning, Johan Jeuring, Bastiaan Heeren
While functionality and correctness of code has traditionally been the main focus of computing educators, quality aspects of code are getting increasingly more attention. High-qual…