Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
1
TÃTULO: CFAULTS: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT I, FM 2024, VOLUME: 14933
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT I, FM 2024, VOLUME: 14933
2
TÃTULO: Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
AUTORES: Brancas, Ricardo; Terra Neves, Miguel; Ventura, Miguel; Manquinho, Vasco; Martins, Ruben;
PUBLICAÇÃO: 2024, FONTE: 27th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2024, VOLUME: 14573
AUTORES: Brancas, Ricardo; Terra Neves, Miguel; Ventura, Miguel; Manquinho, Vasco; Martins, Ruben;
PUBLICAÇÃO: 2024, FONTE: 27th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2024, VOLUME: 14573
3
TÃTULO: BatFix: Repairing Language Model-based Transpilation Full Text
AUTORES: Ramos, Daniel; Lynce, Ines ; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2024, FONTE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 33, NÚMERO: 6
AUTORES: Ramos, Daniel; Lynce, Ines ; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2024, FONTE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 33, NÚMERO: 6
4
TÃTULO: C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco;
PUBLICAÇÃO: 2024, FONTE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, VOLUME: 10808
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco;
PUBLICAÇÃO: 2024, FONTE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, VOLUME: 10808
5
TÃTULO: Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization Full Text
AUTORES: João Cortes; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2024, FONTE: 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 in 30th International Conference on Principles and Practice of Constraint Programming, CP 2024, September 2-6, 2024, Girona, Spain, VOLUME: 307
AUTORES: João Cortes; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2024, FONTE: 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 in 30th International Conference on Principles and Practice of Constraint Programming, CP 2024, September 2-6, 2024, Girona, Spain, VOLUME: 307
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP6
TÃTULO: BugOut: Automated Test Generation and Bug Detection for Low-Code
AUTORES: Coutinho, Joana; Lemos, Alexandre; Terra Neves, Miguel; Ribeiro, Andre; Manquinho, Vasco; Quintino, Rui; Matejczyk, Bartlomiej;
PUBLICAÇÃO: 2024, FONTE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
AUTORES: Coutinho, Joana; Lemos, Alexandre; Terra Neves, Miguel; Ribeiro, Andre; Manquinho, Vasco; Quintino, Rui; Matejczyk, Bartlomiej;
PUBLICAÇÃO: 2024, FONTE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
INDEXADO EM: Scopus 
WOS
Scopus WOS7
TÃTULO: GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
AUTORES: Pedro Orvalho; Mikolás Janota; Vasco Manquinho;
PUBLICAÇÃO: 2024, FONTE: 1st ACM Virtual Global Computing Education Conference V. 1, SIGCSE Virtual 2024 in SIGCSE Virtual 2024 - Proceedings of the 2024 ACM Virtual Global Computing Education Conference V. 1
AUTORES: Pedro Orvalho; Mikolás Janota; Vasco Manquinho;
PUBLICAÇÃO: 2024, FONTE: 1st ACM Virtual Global Computing Education Conference V. 1, SIGCSE Virtual 2024 in SIGCSE Virtual 2024 - Proceedings of the 2024 ACM Virtual Global Computing Education Conference V. 1
8
TÃTULO: Exact and approximate determination of the Pareto front using Minimal Correction Subsets Full Text
AUTORES: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I. ; Manquinho, V; Figueira, J. R.;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
AUTORES: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I. ; Manquinho, V; Figueira, J. R.;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
9
TÃTULO: New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
AUTORES: Cortes, Joao; Lynce, Ines ; Manquinho, Vasco;
PUBLICAÇÃO: 2023, FONTE: 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, VOLUME: 13994
AUTORES: Cortes, Joao; Lynce, Ines ; Manquinho, Vasco;
PUBLICAÇÃO: 2023, FONTE: 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, VOLUME: 13994
10
TÃTULO: UpMax: User Partitioning for MaxSAT
AUTORES: Pedro Orvalho; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2023, FONTE: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 271
AUTORES: Pedro Orvalho; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2023, FONTE: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 271
INDEXADO EM: Scopus
Scopus