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]
@article{AhmedFYAR22,
title = {Verifix: Verified Repair of Programming Assignments},
author = {Umair Z. Ahmed and Zhiyu Fan and Jooyong Yi and Omar I. Al-Bataineh and Abhik Roychoudhury},
year = {2022},
doi = {10.1145/3510418},
url = {https://doi.org/10.1145/3510418},
researchr = {https://researchr.org/publication/AhmedFYAR22},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {31},
number = {4},
}