Please use this identifier to cite or link to this item:
http://hdl.handle.net/10397/94340
DC Field | Value | Language |
---|---|---|
dc.contributor | Department of Computing | en_US |
dc.creator | Chen, L | en_US |
dc.creator | Pei, Y | en_US |
dc.creator | Furia, CA | en_US |
dc.date.accessioned | 2022-08-11T02:02:43Z | - |
dc.date.available | 2022-08-11T02:02:43Z | - |
dc.identifier.issn | 0098-5589 | en_US |
dc.identifier.uri | http://hdl.handle.net/10397/94340 | - |
dc.language.iso | en | en_US |
dc.publisher | Institute of Electrical and Electronics Engineers | en_US |
dc.rights | © 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | en_US |
dc.rights | The following publication Chen, L., Pei, Y., & Furia, C. A. (2021). Contract-based program repair without the contracts: An extended study. IEEE Transactions on Software Engineering, 47(12), 2841-2857 is available at https://doi.org/10.1109/TSE.2020.2970009 | en_US |
dc.title | Contract-based program repair without the contracts : an extended study | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.spage | 2841 | en_US |
dc.identifier.epage | 2857 | en_US |
dc.identifier.volume | 47 | en_US |
dc.identifier.issue | 12 | en_US |
dc.identifier.doi | 10.1109/TSE.2020.2970009 | en_US |
dcterms.abstract | Most techniques for automated program repair (APR) use tests to drive the repair process; this makes them prone to generating spurious repairs that overfit the available tests unless additional information about expected program behavior is available. Our previous work on Jaid, an APR technique for Java programs, showed that constructing detailed state abstractions - similar to those employed by techniques for programs with contracts - from plain Java code without any special annotations provides valuable additional information, and hence helps mitigate the overfitting problem. This paper extends the work on Jaid with a comprehensive experimental evaluation involving 693 bugs in three different benchmark suites. The evaluation shows, among other things, that: 1) Jaid is effective: it produced correct fixes for over 15 percent of all bugs, with a precision of nearly 60 percent; 2) Jaid is reasonably efficient: on average, it took less than 30 minutes to output a correct fix; 3) Jaid is competitive with the state of the art, as it fixed more bugs than any other technique, and 11 bugs that no other tool can fix; 4) Jaid is robust: its heuristics are complementary and their effectiveness does not depend on the fine-tuning of parameters. The experimental results also indicate the main trade-offs involved in designing an APR technique based on tests, as well as possible directions for further progress in this line of work. | en_US |
dcterms.accessRights | open access | en_US |
dcterms.bibliographicCitation | IEEE transactions on software engineering, 1 Dec. 2021, v. 47, no. 12, p. 2841-2857 | en_US |
dcterms.isPartOf | IEEE transactions on software engineering | en_US |
dcterms.issued | 2021-12-01 | - |
dc.identifier.scopus | 2-s2.0-85079458432 | - |
dc.identifier.eissn | 1939-3520 | en_US |
dc.description.validate | 202208 bckw | en_US |
dc.description.oa | Accepted Manuscript | en_US |
dc.identifier.FolderNumber | a1666 | - |
dc.identifier.SubFormID | 45771 | - |
dc.description.fundingSource | RGC | en_US |
dc.description.fundingSource | Others | en_US |
dc.description.fundingText | the Hong Kong Polytechnic University internal fund; Swiss National Science Foundation | en_US |
dc.description.pubStatus | Published | en_US |
Appears in Collections: | Journal/Magazine Article |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Chen_Contract-based_Program_Repair.pdf | Pre-Published version | 1.46 MB | Adobe PDF | View/Open |
Page views
57
Last Week
1
1
Last month
Citations as of May 19, 2024
Downloads
109
Citations as of May 19, 2024
SCOPUSTM
Citations
12
Citations as of May 16, 2024
WEB OF SCIENCETM
Citations
10
Citations as of May 16, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.