Benchmark

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 …