Miguel Terra-Neves

22 papers A* 6A 4B 2Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2024 A conf
BugOut: Automated Test Generation and Bug Detection for Low-Code.
ICST
Joana Coutinho, Alexandre Lemos, Miguel Terra-Neves, André Ribeiro, Vasco Manquinho, Rui Quintino, Bartlomiej Matejczyk
2024 A* conf
SAT-Based Algorithms for Regular Graph Pattern Matching.
AAAI
Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria
2024 B conf
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation.
FASE
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins
2023 J jnl
On Repairing Natural Language to SQL Queries.
CoRR
Aidan Z. H. Yang, Ricardo Brancas, Pedro Esteves, Sofia Aparicio, João Pedro Nadkarni, Miguel Terra-Neves, Vasco Manquinho, Ruben Martins
2023 J jnl
SAT-Based Algorithms for Regular Graph Pattern Matching.
CoRR
Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria
2022 J jnl
CUBES: A Parallel Synthesizer for SQL Using Examples.
CoRR
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins
2021 — conf
Automated Refactoring of Unbounded Queries in Software Automation Platforms.
MoDELS (Companion)
Inês Pina Fernandes, Miguel Terra-Neves, João Costa Seco
2021 J jnl
Duplicated Code Pattern Mining in Visual Programming Languages.
CoRR
Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria
2021 — conf
Duplicated code pattern mining in visual programming languages.
ESEC/SIGSOFT FSE
Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria
2021 — conf
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.
TACAS (1)
Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins
2020 J jnl
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.
CoRR
Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins
2020 J jnl
SQUARES : A SQL Synthesizer Using Query Reverse Engineering.
Proc. VLDB Endow.
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho
2019 A* conf
Concurrency Debugging with MaxSMT.
AAAI
Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco Manquinho
2019 A conf
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving.
CP
Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco Manquinho
2019 A conf
Encodings for Enumeration-Based Program Synthesis.
CP
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho
2019 A* conf
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms.
IJCAI
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2019 J jnl
Virtual machine consolidation using constraint-based multi-objective optimization.
J. Heuristics
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2018 A* conf
Enhancing Constraint-Based Multi-Objective Combinatorial Optimization.
AAAI
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2018 A* conf
Multi-Objective Optimization Through Pareto Minimal Correction Subsets.
IJCAI
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2018 A* conf
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization.
IJCAI
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2017 A conf
Introducing Pareto Minimal Correction Subsets.
SAT
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2016 B conf
Non-Portfolio Approaches for Distributed Maximum Satisfiability.
ICTAI
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho