1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2025
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
Pedro Orvalho, Mikoláš Janota, Vasco Manquinho
Automated Program Repair (APR) for introductory programming assignments (IPAs) is motivated by the large number of student enrollments in programming courses each year. Since provi…
cs.SE2024★ 1 cited
GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
Pedro Orvalho, Mikoláš Janota, Vasco Manquinho
Due to the substantial number of enrollments in programming courses, a key challenge is delivering personalized feedback to students. The nature of this feedback varies significant…