📄📄📄 3 Papers accepted @ FLoC 2026!! 🎉🎉🎉
Excited to share that three of our papers have been accepted at FLoC 2026, covering automated feedback for Prolog education, data-driven mutation testing for Prolog, and …
What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework
In this work, we present an empirical study of 7,201 Prolog submissions from 265 undergraduate students, from which we derive a fine-grained taxonomy of student bugs through manual …
Ricardo Brancas
•
•
1 min read