7 citations · 18 across the 8 of their papers we have counts for
11 papers
A Systematic Analysis of Higher Education on Software Engineering in the Netherlands
Bastiaan Heeren, Fabiano Dalpiaz, Mazyar Seraj +2
Objectives. Software engineering educators strive to continuously improve and refine their courses and programs. Understanding the current state of practice of software engineering…
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…
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…
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…
Program Synthesis Using Example Propagation
Niek Mulleners, Johan Jeuring, Bastiaan Heeren
We present Scrybe, an example-based synthesis tool for a statically-typed functional programming language, which combines top-down deductive reasoning in the style of with Sm…
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…