Verifix: Verified Repair of Programming Assignments

Open Webpage

Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury

Published: 01 Jan 2022, Last Modified: 25 Jul 2025ACM Trans. Softw. Eng. Methodol. 2022EveryoneRevisionsBibTeXCC BY-SA 4.0