Verifix: Verified Repair of Programming Assignments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Saved in:
| Main Authors: | , , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Published: |
Association for Computing Machinery
2023
|
| Subjects: | |
| Online Access: | https://scholarbank.nus.edu.sg/handle/10635/244805 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-244805 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-2448052024-11-14T09:16:50Z Verifix: Verified Repair of Programming Assignments Ahmed, Umair Z Fan, Zhiyu Yi, Jooyong Al-Bataineh, Omar I Roychoudhury, Abhik DEPARTMENT OF COMPUTER SCIENCE Prof Abhik Roychoudhury cs.SE cs.SE ACM Transactions on Software Engineering and Methodology (TOSEM) 2023-09-04T01:02:41Z 2023-09-04T01:02:41Z 2021-07-01 2023-09-03T10:36:10Z Article Ahmed, Umair Z, Fan, Zhiyu, Yi, Jooyong, Al-Bataineh, Omar I, Roychoudhury, Abhik (2021-07-01). Verifix: Verified Repair of Programming Assignments. ACM Transactions on Software Engineering and Methodology (TOSEM). ScholarBank@NUS Repository. 1049-331X 1557-7392 https://scholarbank.nus.edu.sg/handle/10635/244805 Association for Computing Machinery Elements |
| institution |
National University of Singapore |
| building |
NUS Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| collection |
ScholarBank@NUS |
| topic |
cs.SE cs.SE |
| spellingShingle |
cs.SE cs.SE Ahmed, Umair Z Fan, Zhiyu Yi, Jooyong Al-Bataineh, Omar I Roychoudhury, Abhik Verifix: Verified Repair of Programming Assignments |
| description |
ACM Transactions on Software Engineering and Methodology (TOSEM) |
| author2 |
DEPARTMENT OF COMPUTER SCIENCE |
| author_facet |
DEPARTMENT OF COMPUTER SCIENCE Ahmed, Umair Z Fan, Zhiyu Yi, Jooyong Al-Bataineh, Omar I Roychoudhury, Abhik |
| format |
Article |
| author |
Ahmed, Umair Z Fan, Zhiyu Yi, Jooyong Al-Bataineh, Omar I Roychoudhury, Abhik |
| author_sort |
Ahmed, Umair Z |
| title |
Verifix: Verified Repair of Programming Assignments |
| title_short |
Verifix: Verified Repair of Programming Assignments |
| title_full |
Verifix: Verified Repair of Programming Assignments |
| title_fullStr |
Verifix: Verified Repair of Programming Assignments |
| title_full_unstemmed |
Verifix: Verified Repair of Programming Assignments |
| title_sort |
verifix: verified repair of programming assignments |
| publisher |
Association for Computing Machinery |
| publishDate |
2023 |
| url |
https://scholarbank.nus.edu.sg/handle/10635/244805 |
| _version_ |
1821185276433661952 |