◀ Click to filter
Total displayed: 11
Order by:
- InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
Journal of Systems and Software
2025
- Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
AAAI Conference on Artificial Intelligence,
2025 - GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
ACM Virtual Global Computing Education Conference,
2024 - CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
26TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS (FM),
2024 - C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
5th International Workshop on Automated Program Repair (APR 2024), - UpMax: User partitioning for MaxSAT
Pedro Orvalho, Vasco Manquinho, Ruben Martins
International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, - Graph Neural Networks For Mapping Variables Between Programs
Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco Manquinho
European Conference on Artificial Intelligence (ECAI),
2023 - MultIPAs : Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
30th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (ESEC/FSE 2022), - AlloyMax: Bringing Maximum Satisfaction toRelational Specifications
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE),
2021 - 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,
- SQUARES : A SQL Synthesizer Using Query Reverse Engineering
Pedro Orvalho
Masters
2019