@misc{indiciaed7b2ecc4f0e8,
  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 = {2021},
  url = {https://arxiv.org/abs/2106.16199},
  note = {Source identifier: 2106.16199}
}