Miguel Terra-Neves

According to our database, Miguel Terra-Neves authored at least 21 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

BugOut: Automated Test Generation and Bug Detection for Low-Code.

Joana Coutinho, Alexandre Lemos, Miguel Terra-Neves, André Ribeiro, Vasco Manquinho, Rui Quintino, Bartlomiej Matejczyk

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation.

Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins

Proceedings of the Fundamental Approaches to Software Engineering, 2024

SAT-Based Algorithms for Regular Graph Pattern Matching.

Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

On Repairing Natural Language to SQL Queries.

Aidan Z. H. Yang, Ricardo Brancas, Pedro Esteves, Sofia Aparicio, João Pedro Nadkarni, Miguel Terra-Neves, Vasco Manquinho, Ruben Martins

CoRR, 2023

2022

CUBES: A Parallel Synthesizer for SQL Using Examples.

Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins

CoRR, 2022

2021

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.

Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Duplicated code pattern mining in visual programming languages.

Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Automated Refactoring of Unbounded Queries in Software Automation Platforms.

Inês Pina Fernandes, Miguel Terra-Neves, João Costa Seco

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020

SQUARES : A SQL Synthesizer Using Query Reverse Engineering.

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho

Proc. VLDB Endow., 2020

2019

Virtual machine consolidation using constraint-based multi-objective optimization.

Miguel Terra-Neves, Inês Lynce, Vasco Manquinho

J. Heuristics, 2019

Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms.

Miguel Terra-Neves, Inês Lynce, Vasco Manquinho

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Encodings for Enumeration-Based Program Synthesis.

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho

Proceedings of the Principles and Practice of Constraint Programming, 2019

Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving.

Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco Manquinho

Proceedings of the Principles and Practice of Constraint Programming, 2019

Concurrency Debugging with MaxSMT.

Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco Manquinho

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Multi-Objective Optimization Through Pareto Minimal Correction Subsets.

Miguel Terra-Neves, Inês Lynce, Vasco Manquinho

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Stratification for Constraint-Based Multi-Objective Combinatorial Optimization.

Miguel Terra-Neves, Inês Lynce, Vasco Manquinho

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Enhancing Constraint-Based Multi-Objective Combinatorial Optimization.

Miguel Terra-Neves, Inês Lynce, Vasco Manquinho

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Introducing Pareto Minimal Correction Subsets.

Miguel Terra-Neves, Inês Lynce, Vasco Manquinho

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

2016

Non-Portfolio Approaches for Distributed Maximum Satisfiability.

Miguel Terra-Neves, Inês Lynce, Vasco Manquinho

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

2015

DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability.

Miguel Neves, Inês Lynce, Vasco Manquinho

CoRR, 2015

Exploiting Resolution-Based Representations for MaxSAT Solving.

Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015