CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases

12 July 2024

Mikoláš Janota

Papers citing "CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases"

1 / 1 papers shown

Title
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments Pedro Orvalho Mikolávs Janota Vasco M. Manquinho 25 7 0 28 Jun 2022