Skip to main content

5 Result(s)

within Conference Paper Remove this filter Miguel Terra-Neves Remove this filter

and

  1. Chapter and Conference Paper

    Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation

    In recent years, more people have seen their work depend on data manipulation tasks. However, many of these users do not have the background in programming required to write complex programs, particularly SQL ...

    Ricardo Brancas, Miguel Terra-Neves… in Fundamental Approaches to Software Enginee… (2024)

    Download PDF (1516 KB) View Chapter

  2. Chapter and Conference Paper

    FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions

    Form validators based on regular expressions are often used on digital forms to prevent users from inserting data in the wrong format. However, writing these validators can pose a challenge to some users.

    Margarida Ferreira, Miguel Terra-Neves… in Tools and Algorithms for the Construction … (2021)

    Download PDF (745 KB)

  3. No Access

    Chapter and Conference Paper

    Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving

    The recent improvements in solving Maximum Satisfiability (MaxSAT) ...

    Andreia P. Guerreiro, Miguel Terra-Neves… in Principles and Practice of Constraint Prog… (2019)

  4. No Access

    Chapter and Conference Paper

    Encodings for Enumeration-Based Program Synthesis

    Pedro Orvalho, Miguel Terra-Neves… in Principles and Practice of Constraint Prog… (2019)

  5. No Access

    Chapter and Conference Paper

    Introducing Pareto Minimal Correction Subsets

    A Minimal Correction Subset (MCS) of an unsatisfiable constraint set is a minimal subset of constraints that, if removed, makes the constraint set satisfiable. MCSs enjoy a wide range of applications, one of t...

    Miguel Terra-Neves, Inês Lynce… in Theory and Applications of Satisfiability … (2017)