4 citations · 4 across the 6 of their papers we have counts for
6 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…
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…
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…
On Repairing Natural Language to SQL Queries
Aidan Z. H. Yang, Ricardo Brancas, Pedro Esteves +5
Data analysts use SQL queries to access and manipulate data on their databases. However, these queries are often challenging to write, and small mistakes can lead to unexpected dat…
CUBES: A Parallel Synthesizer for SQL Using Examples
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura +2
In recent years, more people have seen their work depend on data manipulation tasks. However, many of these users do not have the background in programming required to write comple…