Full metadata record
DC Field | Value | Language |
---|---|---|
dc.citation.number | 4 | - |
dc.citation.startPage | 74 | - |
dc.citation.title | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY | - |
dc.citation.volume | 31 | - |
dc.contributor.author | Ahmed, Umair Z. | - |
dc.contributor.author | Fan, Zhiyu | - |
dc.contributor.author | Yi, Jooyong | - |
dc.contributor.author | Al-Bataineh, Omar I. | - |
dc.contributor.author | Roychoudhury, Abhik | - |
dc.date.accessioned | 2023-12-21T13:38:43Z | - |
dc.date.available | 2023-12-21T13:38:43Z | - |
dc.date.created | 2022-08-07 | - |
dc.date.issued | 2022-10 | - |
dc.description.abstract | Automated feedback generation for introductory programming assignments is useful for programming education. Most works try to generate feedback to correct a student program by comparing its behavior with an instructor’s reference program on selected tests. In this work, our aim is to generate verifiably correct program repairs as student feedback. A student-submitted program is aligned and composed with a reference solution in terms of control flow, and the variables of the two programs are automatically aligned via predicates describing the relationship between the variables. When verification attempt for the obtained aligned program fails, we turn a verification problem into a MaxSMT problem whose solution leads to a minimal repair. We have conducted experiments on student assignments curated from a widely deployed intelligent tutoring system. Our results show that generating verified repair without sacrificing the overall repair rate is possible. In fact, our implementation, Verifix, is shown to outperform Clara, a state-of-the-art tool, in terms of repair rate. This shows the promise of using verified repair to generate high confidence feedback in programming pedagogy settings. | - |
dc.identifier.bibliographicCitation | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, v.31, no.4, pp.74 | - |
dc.identifier.doi | 10.1145/3510418 | - |
dc.identifier.issn | 1049-331X | - |
dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/59055 | - |
dc.identifier.wosid | 000859387700018 | - |
dc.language | 영어 | - |
dc.publisher | Association for Computing Machinary, Inc. | - |
dc.title | Verifix: Verified Repair of Programming Assignments | - |
dc.type | Article | - |
dc.description.isOpenAccess | TRUE | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.type.docType | Article | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.subject.keywordAuthor | Automated program repair | - |
dc.subject.keywordAuthor | intelligent tutoring system | - |
dc.subject.keywordPlus | FEEDBACK GENERATION | - |
dc.subject.keywordPlus | VALIDATION | - |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Tel : 052-217-1404 / Email : scholarworks@unist.ac.kr
Copyright (c) 2023 by UNIST LIBRARY. All rights reserved.
ScholarWorks@UNIST was established as an OAK Project for the National Library of Korea.