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

Due to the vast number of students enrolled in programming courses, there has been an increasing number of automated program repair techniques focused on introductory programming assignments (IPAs). Typically, such techniques use program clustering to take advantage of previous correct student imple...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:The Journal of systems and software Ročník 230; s. 112481
Hlavní autoři: Orvalho, Pedro, Janota, Mikoláš, Manquinho, Vasco
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Inc 01.12.2025
Témata:
MOOCS
Program clustering
Program equivalence
Program invariants
Program repair
Programming education
Program equivalence
Program repair
Programming education
Program clustering
Program invariants
MOOCS
ISSN:0164-1212
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Due to the vast number of students enrolled in programming courses, there has been an increasing number of automated program repair techniques focused on introductory programming assignments (IPAs). Typically, such techniques use program clustering to take advantage of previous correct student implementations to repair a new incorrect submission. These repair techniques use clustering methods since analyzing all available correct submissions to repair a program is not feasible. However, conventional clustering methods rely on program representations based on features such as abstract syntax trees (ASTs), syntax, control flow, and data flow. This paper proposes InvAASTCluster, a novel approach for program clustering that uses dynamically generated program invariants to cluster semantically equivalent IPAs. InvAASTCluster’s program representation uses a combination of the program’s semantics, through its invariants, and its structure through its anonymized abstract syntax tree (AASTs). Invariants denote conditions that must remain true during program execution, while AASTs are ASTs devoid of variable and function names, retaining only their types. Our experiments show that the proposed program representation outperforms syntax-based representations when clustering a set of correct IPAs. Furthermore, we integrate InvAASTCluster into a state-of-the-art clustering-based program repair tool. Our results show that InvAASTCluster advances the current state-of-the-art when used by clustering-based repair tools by repairing around 13% more students’ programs, in a shorter amount of time. •We cluster programming assignments (IPAs) using invariants and anonymized ASTs.•We present our invariant-based program clustering tool, InvAASTCluster.•InvAASTCluster demonstrates the effectiveness of invariant-based clustering for IPAs.•We compare InvAASTCluster with Clara, a leading clustering-based repair tool.•InvAASTCluster outperforms Clara, allowing Clara to fix more IPAs and faster.
ISSN:0164-1212
DOI:10.1016/j.jss.2025.112481