7 citations · 14 across the 9 of their papers we have counts for
9 papers
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…
Breaking Symmetries in Quantified Graph Search: A Comparative Study
Mikoláš Janota, Markus Kirchweger, Tomáš Peitl +1
Graph generation and enumeration problems often require handling equivalent graphs -- those that differ only in vertex labeling. We study how to extend SAT Modulo Symmetries (SMS),…
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…
Machine Learning Meets The Herbrand Universe
Jelle Piepenbrock, Josef Urban, Konstantin Korovin +3
The appearance of strong CDCL-based propositional (SAT) solvers has greatly advanced several areas of automated reasoning (AR). One of the directions in AR is thus to apply SAT sol…
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…