Search

Pedro Orvalho

Mikoláš Janota

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education, SIGCSE Virtual 2024
CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases, FM 2024
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments, APR 2024
Graph Neural Networks For Mapping Variables Between Programs, ECAI 2023
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation, ESEC/FSE 2022
Project Proposal: Learning Variable Mappings to Repair Programs, AITP 2022

Powered by the Academic theme for Hugo.