Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
summary
FixML is a tool that combines statistical error-localization with type-directed program synthesis plus component reduction and symbolic-execution pruning to auto-generate fixes for functional-programming assignments. Evaluation on 497 student submissions shows it fixes 43% of the cases in 5.4 seconds on average, and it repairs a hard-to-find bug in a 154-line program. A user study with 18 undergraduates reports improved understanding after receiving the tool’s corrections.
AI-written summary · about