2 papers
cs.LO2026
What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework
Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2
Automated feedback tools for logic programming education depend on realistic bug datasets that reflect the mistakes students actually make. However, existing mutation testing frame…
cs.SE2024
Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
Ricardo Brancas, Vasco Manquinho, Ruben Martins
Logic programs are a powerful approach for solving NP-Hard problems. However, due to their declarative nature, debugging logic programs poses significant challenges. Unlike procedu…