Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/76937
PIRA download icon_1.1View/Download Full Text
DC FieldValueLanguage
dc.contributorDepartment of Computing-
dc.creatorChen, LS-
dc.creatorPei, Y-
dc.creatorFuria, CA-
dc.date.accessioned2018-07-06T02:18:46Z-
dc.date.available2018-07-06T02:18:46Z-
dc.identifier.isbn978-1-5386-2684-9 (electronic)en_US
dc.identifier.isbn978-1-5386-3976-4 (Print on Demand(PoD))en_US
dc.identifier.urihttp://hdl.handle.net/10397/76937-
dc.description2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Urbana, IL, USA, 30 Oct.-3 Nov. 2017en_US
dc.language.isoenen_US
dc.publisherIEEEen_US
dc.rights© 2017 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.rightsThe following publication L. Chen, Y. Pei and C. A. Furia, "Contract-based program repair without the contracts," 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Urbana, IL, 2017, pp. 637-647 is available at https://doi.org/10.1109/ASE.2017.8115674en_US
dc.titleContract-based program repair without the contractsen_US
dc.typeConference Paperen_US
dc.identifier.spage637en_US
dc.identifier.epage647en_US
dc.identifier.doi10.1109/ASE.2017.8115674en_US
dcterms.abstractAutomated program repair (APR) is a promising approach to automatically fixing software bugs. Most APR techniques use tests to drive the repair process; this makes them readily applicable to realistic code bases, but also brings the risk of generating spurious repairs that overfit the available tests. Some techniques addressed the overfitting problem by targeting code using contracts (such as pre- and postconditions), which provide additional information helpful to characterize the states of correct and faulty computations; unfortunately, mainstream programming languages do not normally include contract annotations, which severely limits the applicability of such contract-based techniques. This paper presents JAID, a novel APR technique for Java programs, which is capable of constructing detailed state abstractions - similar to those employed by contract-based techniques - that are derived from regular Java code without any special annotations. Grounding the repair generation and validation processes on rich state abstractions mitigates the overfitting problem, and helps extend APR's applicability: in experiments with the DEFECTS4J benchmark, a prototype implementation of JAID produced genuinely correct repairs, equivalent to those written by programmers, for 25 bugs - improving over the state of the art of comparable Java APR techniques in the number and kinds of correct fixes.-
dcterms.accessRightsopen accessen_US
dcterms.bibliographicCitationASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017, 8115674, p. 637-647-
dcterms.issued2017-
dc.identifier.scopus2-s2.0-85041435639-
dc.identifier.ros2017001451-
dc.relation.ispartofbookASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineeringen_US
dc.relation.conferenceIEEE/ACM International Conference on Automated Software Engineering [ASE]en_US
dc.source.typecpen
dc.identifier.artn8115674en_US
dc.contributor.orcid#NODATA#en
dc.contributor.orcid#NODATA#en
dc.contributor.orcid#NODATA#en
dc.identifier.rosgroupid2017001438-
dc.description.ros2017-2018 > Academic research: refereed > Refereed conference paper-
dc.description.validate201807 bcwhen_US
dc.description.oaAccepted Manuscripten_US
dc.identifier.FolderNumbera0208-n01en_US
dc.description.pubStatusPublisheden_US
Appears in Collections:Conference Paper
Files in This Item:
File Description SizeFormat 
ASE2017_jaid.pdfPre-Published version1.23 MBAdobe PDFView/Open
Open Access Information
Status open access
File Version Final Accepted Manuscript
Access
View full-text via PolyU eLinks SFX Query
Show simple item record

Page views

158
Last Week
0
Last month
Citations as of Mar 24, 2024

Downloads

306
Citations as of Mar 24, 2024

SCOPUSTM   
Citations

90
Last Week
1
Last month
Citations as of Mar 28, 2024

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.