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
INDEXADO EM: Scopus WOS CrossRef
2
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
INDEXADO EM: Scopus WOS DBLP CrossRef
3
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
INDEXADO EM: Scopus WOS CrossRef
4
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
INDEXADO EM: Scopus CrossRef
5
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
INDEXADO EM: Scopus WOS CrossRef: 1
6
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
7
TÍTULO: Graph Neural Networks for Mapping Variables Between Programs
AUTORES: Pedro Orvalho; Jelle Piepenbrock; Mikoláš Janota; Vasco Manquinho ;
PUBLICAÇÃO: 2023, FONTE: 26th European Conference on Artificial Intelligence, ECAI 2023 in Frontiers in Artificial Intelligence and Applications, VOLUME: 372
INDEXADO EM: Scopus CrossRef
8
TÍTULO: MELT: Mining Effective Lightweight Transformations from Pull Requests
AUTORES: Ramos, Daniel; Mitchell, Hailie; Lynce, Ines ; Manquinho, Vasco ; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
9
TÍTULO: Multiple-input neural networks for time series forecasting incorporating historical and prospective context
AUTORES: Palet, Joao; Manquinho, Vasco ; Henriques, Rui;
PUBLICAÇÃO: 2023, FONTE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 38, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 2
10
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
Página 1 de 7. Total de resultados: 64.