Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
1
TITLE: Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco M.;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 1, VOLUME: 39, ISSUE: 1
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco M.;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 1, VOLUME: 39, ISSUE: 1
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs
AUTHORS: Brancas, Ricardo; Manquinho, Vasco; Martins, Ruben;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Testing Verification and Validation-ICST-Annual in 2025 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST
AUTHORS: Brancas, Ricardo; Manquinho, Vasco; Martins, Ruben;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Testing Verification and Validation-ICST-Annual in 2025 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST
3
TITLE: BugOut: Automated Test Generation and Bug Detection for Low-Code
AUTHORS: Coutinho, Joana; Lemos, Alexandre; Terra Neves, Miguel; Ribeiro, Andre; Manquinho, Vasco; Quintino, Rui; Matejczyk, Bartlomiej;
PUBLISHED: 2024, SOURCE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
AUTHORS: Coutinho, Joana; Lemos, Alexandre; Terra Neves, Miguel; Ribeiro, Andre; Manquinho, Vasco; Quintino, Rui; Matejczyk, Bartlomiej;
PUBLISHED: 2024, SOURCE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: UpMax: User Partitioning for MaxSAT
AUTHORS: Pedro Orvalho; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2023, SOURCE: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 271
AUTHORS: Pedro Orvalho; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2023, SOURCE: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 271
INDEXED IN: Scopus
Scopus5
TITLE: SOAR: A Synthesis Approach for Data Science API Refactoring
AUTHORS: Ni, AS; Ramos, D; Yang, AZH; Lynce, I ; Manquinho, V; Martins, R; Le Goues, C;
PUBLISHED: 2021, SOURCE: 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021)
AUTHORS: Ni, AS; Ramos, D; Yang, AZH; Lynce, I ; Manquinho, V; Martins, R; Le Goues, C;
PUBLISHED: 2021, SOURCE: 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021)
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP6
TITLE: Replication of SOAR: A Synthesis Approach for Data Science API Refactoring
AUTHORS: Ni, AS; Ramos, D; Yang, AZH; Lynce, I ; Manquinho, V; Martins, R; Le Goues, C;
PUBLISHED: 2021, SOURCE: IEEE/ACM 43rd International Conference on Software Engineering (ICSE) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021)
AUTHORS: Ni, AS; Ramos, D; Yang, AZH; Lynce, I ; Manquinho, V; Martins, R; Le Goues, C;
PUBLISHED: 2021, SOURCE: IEEE/ACM 43rd International Conference on Software Engineering (ICSE) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021)
INDEXED IN: WOS DBLP
WOS DBLP7
TITLE: UNCHARTIT: An Interactive Framework for Program Recovery from Charts
AUTHORS: Ramos, D; Pereira, J; Lynce, I ; Manquinho, V; Martins, R;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
AUTHORS: Ramos, D; Pereira, J; Lynce, I ; Manquinho, V; Martins, R;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP8
TITLE: SQUARES : A SQL Synthesizer Using Query Reverse Engineering Full Text
AUTHORS: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 13, ISSUE: 12
AUTHORS: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 13, ISSUE: 12
INDEXED IN: WOS
WOS9
TITLE: Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving
AUTHORS: Guerreiro, AP; Terra Neves, M; Lynce, I ; Figueira, JR ; Manquinho, V;
PUBLISHED: 2019, SOURCE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
AUTHORS: Guerreiro, AP; Terra Neves, M; Lynce, I ; Figueira, JR ; Manquinho, V;
PUBLISHED: 2019, SOURCE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
10
TITLE: Encodings for Enumeration-Based Program Synthesis
AUTHORS: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
AUTHORS: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
INDEXED IN: Scopus WOS
Scopus WOS