TY  - RPRT
TI  - What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework
AU  - Ricardo Brancas
AU  - Pedro Orvalho
AU  - Carolina Carreira
AU  - Vasco Manquinho
AU  - Ruben Martins
PY  - 2026
DO  - 10.4204/eptcs.450.14
UR  - https://arxiv.org/abs/2607.21193
ID  - 2607.21193
ER  -