Picture for Vasco Manquinho

Vasco Manquinho

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

Add code
Jul 12, 2024
Viaarxiv icon

MELT: Mining Effective Lightweight Transformations from Pull Requests

Add code
Aug 28, 2023
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

New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization

Add code
Apr 22, 2022
Figure 1 for New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
Figure 2 for New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
Figure 3 for New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
Figure 4 for New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
Viaarxiv icon

Exact and approximate determination of the Pareto set using minimal correction subsets

Add code
Apr 14, 2022
Figure 1 for Exact and approximate determination of the Pareto set using minimal correction subsets
Figure 2 for Exact and approximate determination of the Pareto set using minimal correction subsets
Figure 3 for Exact and approximate determination of the Pareto set using minimal correction subsets
Figure 4 for Exact and approximate determination of the Pareto set using minimal correction subsets
Viaarxiv icon

Reflections on "Incremental Cardinality Constraints for MaxSAT"

Add code
Oct 10, 2019
Figure 1 for Reflections on "Incremental Cardinality Constraints for MaxSAT"
Figure 2 for Reflections on "Incremental Cardinality Constraints for MaxSAT"
Figure 3 for Reflections on "Incremental Cardinality Constraints for MaxSAT"
Figure 4 for Reflections on "Incremental Cardinality Constraints for MaxSAT"
Viaarxiv icon

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

Add code
Jul 21, 2015
Figure 1 for Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Figure 2 for Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Figure 3 for Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Viaarxiv icon