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]
No references recorded for this publication.
No citations of this publication recorded.