Picture for Pedro Orvalho

Pedro Orvalho

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases

Add code
Jul 12, 2024
Viaarxiv icon

Graph Neural Networks For Mapping Variables Between Programs -- Extended Version

Add code
Jul 29, 2023
Viaarxiv icon

UpMax: User partitioning for MaxSAT

Add code
May 25, 2023
Viaarxiv icon

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments

Add code
Jun 29, 2022
Figure 1 for InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Figure 2 for InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Figure 3 for InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Figure 4 for InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Viaarxiv icon

C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments

Add code
Jun 17, 2022
Figure 1 for C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
Figure 2 for C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
Figure 3 for C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
Viaarxiv icon