InvAASTCluster

MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair

This paper introduces MENTOR, a semantic automated program repair (APR) framework designed to fix faulty student programs. MENTOR validates repairs through execution on a test …

Pedro Orvalho

• Feb 1, 2026 • 1 min read

Program Clustering

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments

This paper proposes InvAASTCluster, a novel approach for program clustering that uses dynamically generated program invariants to cluster semantically equivalent IPAs.

Pedro Orvalho

• Jun 27, 2025 • 1 min read

Program Clustering

📄 Paper accepted @ the Journal of Systems and Software 2025!! 🎉

I am very happy to share that our paper on program clustering has been accepted at the JSS December 2025!! 🎉

Pedro Orvalho

• Apr 27, 2025 • 1 min read