External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Umair Z. Ahmed

This author has not been identified. Look up 'Umair Z. Ahmed' in Google

Zhiyu Fan

This author has not been identified. Look up 'Zhiyu Fan' in Google

Jooyong Yi

This author has not been identified. Look up 'Jooyong Yi' in Google

Omar I. Al-Bataineh

This author has not been identified. Look up 'Omar I. Al-Bataineh' in Google

Abhik Roychoudhury

This author has not been identified. Look up 'Abhik Roychoudhury' in Google
runs on