Verifix: Verified Repair of Programming Assignments

Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury. Verifix: Verified Repair of Programming Assignments. ACM Transactions on Software Engineering Methodology, 31(4), 2022. [doi]

Abstract

Abstract is missing.