There are no files associated with this item.
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.citation.endPage | 39 | - |
dc.citation.number | 2 | - |
dc.citation.startPage | 1 | - |
dc.citation.title | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY | - |
dc.citation.volume | 33 | - |
dc.contributor.author | Ismayilzada, Elkhan | - |
dc.contributor.author | Rahman, Md Mazba Ur | - |
dc.contributor.author | Kim, Dongsun | - |
dc.contributor.author | Yi, Jooyong | - |
dc.date.accessioned | 2023-12-21T11:44:09Z | - |
dc.date.available | 2023-12-21T11:44:09Z | - |
dc.date.created | 2023-10-06 | - |
dc.date.issued | 2024-02 | - |
dc.description.abstract | To date, the users of test-driven program repair tools suffer from the overfitting problem; a generated patch may pass all available tests without being correct. In the existing work, users are treated as merely passive consumers of the tests. However, what if they are willing to modify the test to better assess the patches obtained from a repair tool? In this work, we propose a novel semi-automatic patch-classification methodology named Poracle. Our key contributions are three-fold. First, we design a novel lightweight specification method that reuses the existing test. Specifically, the users extend the existing failing test with a preservation condition—the condition under which the patched and pre-patched versions should produce the same output. Second, we develop a fuzzer that performs differential fuzzing with a test containing a preservation condition. Once we find an input that satisfies a specified preservation condition but produces different outputs between the patched and pre-patched versions, we classify the patch as incorrect with high confidence. We show that our approach is more effective than the four state-of-the-art patch classification approaches. Lastly, we show through a user study that the users find our semi-automatic patch assessment method more effective and preferable than the manual assessment. | - |
dc.identifier.bibliographicCitation | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, v.33, no.2, pp.1 - 39 | - |
dc.identifier.doi | 10.1145/3625293 | - |
dc.identifier.issn | 1049-331X | - |
dc.identifier.scopusid | 2-s2.0-85183323516 | - |
dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/65902 | - |
dc.identifier.wosid | 001168572500015 | - |
dc.language | 영어 | - |
dc.publisher | Association for Computing Machinary, Inc. | - |
dc.title | Poracle: Testing Patches Under Preservation Conditions to Combat the Overfitting Problem of Program Repair | - |
dc.type | Article | - |
dc.description.isOpenAccess | FALSE | - |
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 | overfitting problem | - |
dc.subject.keywordAuthor | patch validation | - |
dc.subject.keywordAuthor | patch classification | - |
dc.subject.keywordAuthor | preservation condition | - |
dc.subject.keywordPlus | GENERATION | - |
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.