7 citations · 14 across the 13 of their papers we have counts for
14 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…
MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku
Pedro Orvalho, Guillem Alenyà, Felip Manyà
Vision--Language Models (VLMs) have recently demonstrated promising performance on structured visual reasoning tasks, including grid-based puzzles. However, despite strong perceptu…
Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
Pedro Orvalho, Marta Kwiatkowska, Guillem Alenyà +1
Large Language Models (LLMs) excel at understanding natural language but struggle with optimisation tasks involving multiple constraints and user-defined preferences, which commonl…
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…
PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
Pedro Orvalho, Marta Kwiatkowska
Python has become the dominant language for general-purpose programming, yet it lacks robust tools for formal verification. In contrast, programmers working in languages such as C…
Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?
Pedro Orvalho, Marta Kwiatkowska
With the widespread adoption of vibe coding, understanding the reasoning and robustness of Large Language Models (LLMs) is critical for their reliable use in programming tasks. Whi…
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…
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
Pedro Orvalho, Mikoláš Janota, Vasco Manquinho
Automated Program Repair (APR) for introductory programming assignments (IPAs) is motivated by the large number of student enrollments in programming courses each year. Since provi…
GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
Pedro Orvalho, Mikoláš Janota, Vasco Manquinho
Due to the substantial number of enrollments in programming courses, a key challenge is delivering personalized feedback to students. The nature of this feedback varies significant…
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…
Graph Neural Networks For Mapping Variables Between Programs -- Extended Version
Pedro Orvalho, Jelle Piepenbrock, Mikoláš Janota +1
Automated program analysis is a pivotal research domain in many areas of Computer Science -- Formal Methods and Artificial Intelligence, in particular. Due to the undecidability of…
UpMax: User partitioning for MaxSAT
Pedro Orvalho, Vasco Manquinho, Ruben Martins
It has been shown that Maximum Satisfiability (MaxSAT) problem instances can be effectively solved by partitioning the set of soft clauses into several disjoint sets. The partition…
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
Pedro Orvalho, Mikoláš Janota, Vasco Manquinho
Due to the vast number of students enrolled in Massive Open Online Courses (MOOCs), there has been an increasing number of automated program repair techniques focused on introducto…
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Pedro Orvalho, Mikoláš Janota, Vasco Manquinho
Due to the vast number of students enrolled in programming courses, there has been an increasing number of automated program repair techniques focused on introductory programming a…