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,