1 citations · 2 across the 4 of their papers we have counts for
4 papers
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…
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
Zhihan Chen, Peng Lin, Hao Hu +1
As a broadly applied technique in numerous optimization problems, recently, local search has been employed to solve Pseudo-Boolean Optimization (PBO) problem. A representative loca…
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…
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…