13 papers
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…
ProDebug: An Automated Debugging System for Prolog
Ricardo Brancas, Vasco Manquinho, Ruben Martins
Prolog is a well-known declarative programming language commonly used in introductory courses on logic and reasoning. However, many students find Prolog challenging because it lack…
SPELL: Synthesis of Programmatic Edits using LLMs
Daniel Ramos, Catarina Gamboa, Inês Lynce +3
Library migration is a common but error-prone task in software development. Developers may need to replace one library with another due to reasons like changing requirements or lic…
Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
Pedro Orvalho, Marta Kwiatkowska, Mikoláš Janota +1
Debugging is one of the most time-consuming and expensive tasks in software development and circuit design. Several formula-based fault localisation (FBFL) methods have been propos…
CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
Pedro Orvalho, Mikoláš Janota, Vasco Manquinho
Debugging is one of the most time-consuming and expensive tasks in software development. Several formula-based fault localization (FBFL) methods have been proposed, but they fail t…
Can Automated Feedback Turn Students into Happy Prologians?
Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2
Providing personalized feedback is essential for effective learning, but delivering it promptly can be challenging in large-scale courses. In this work, we present ProHelp, an auto…