◀ Click to filter

Total displayed: 5

Order by:
  • The B-Subtle framework: tailoring subtitles to your needs
    Miguel Ventura, Jéssica Cristina Azevedo Veiga, Luísa Coheur, Sandra Gama
    Language Resources and Evaluation DOI 10.1007/s10579-020-09507-3
    2020
  • Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
    Ricardo Brancas, Miguel Neves, Miguel Ventura, Vasco Manquinho, Ruben Carlos Gonçalves Martins
    International Conference on Fundamental Approaches to Software Engineering (FASE),
    2024
  • FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
    Margarida Ferreira, Miguel Neves, Miguel Ventura, Inês Lynce, Ruben Carlos Gonçalves Martins
    27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, Springer, Springer,
  • SQUARES : A SQL Synthesizer Using Query Reverse Engineering
    Pedro Orvalho, Miguel Neves, Miguel Ventura, Ruben Carlos Gonçalves Martins, Vasco Manquinho
    International Conference on Very Large Databases, vol. 13,
    2020
  • Encodings for Enumeration-Based Program Synthesis
    Pedro Orvalho, Miguel Neves, Miguel Ventura, Ruben Carlos Gonçalves Martins, Vasco Manquinho
    25th International Conference on Principles and Practice of Constraint Programming, CP 2019, Springer, Springer,

Keywords

Year Published

2019 - 2024

Type

All [off | on]
(1)
Journal Paper
(4)
Conference Paper

Ranking

All [off | on]
(2)
Q1 / A*
(2)
Q2 / A
(1)
Q3 / B

Scope

(5)
International