Matches in SemOpenAlex for { <https://semopenalex.org/work/W4256377773> ?p ?o ?g. }
- W4256377773 abstract "Recent advances in program repair techniques have raised the possibility of patching bugs automatically. For an automatically generated patch to be accepted by developers, it should not only resolve the bug but also satisfy certain human-related factors including readability and comprehensibility. In this paper, we focus on the simplicity of patches (the size of changes). We present a novel semantics-based repair method that generates the simplest patch such that the program structure of the buggy program is maximally preserved. To take into account the simplicity of repairs in an efficient way (i.e., Without explicitly enumerating each repair candidate for each fault location), our method fuses fault localization and repair generation into one step. We do so by leveraging partial Max SAT constraint solving and component-based program synthesis. We compare our prototype implementation, Direct Fix, with the state-of-the-art semantics-based repair tool Sem Fix, that performs fault localization before repair generation. In our experiments with SIR programs and GNU Coreutils, Direct Fix generates repairs that are simpler than those generated by Sem Fix. Since both Direct Fix and Sem Fix are test-driven repair tools, they can introduce regressions for other tests which do not drive the repair. We found that Direct Fix causes substantially less regression errors than Sem Fix." @default.
- W4256377773 created "2022-05-12" @default.
- W4256377773 creator A5009308931 @default.
- W4256377773 creator A5011184280 @default.
- W4256377773 creator A5060115298 @default.
- W4256377773 date "2015-05-01" @default.
- W4256377773 modified "2023-10-18" @default.
- W4256377773 title "DirectFix: Looking for Simple Program Repairs" @default.
- W4256377773 cites W1545681762 @default.
- W4256377773 cites W1560374668 @default.
- W4256377773 cites W1964566177 @default.
- W4256377773 cites W1971137495 @default.
- W4256377773 cites W1983505133 @default.
- W4256377773 cites W1986544324 @default.
- W4256377773 cites W2024753698 @default.
- W4256377773 cites W2039772616 @default.
- W4256377773 cites W2097174997 @default.
- W4256377773 cites W2099866050 @default.
- W4256377773 cites W2105899810 @default.
- W4256377773 cites W2107564263 @default.
- W4256377773 cites W2117593603 @default.
- W4256377773 cites W2120703352 @default.
- W4256377773 cites W2122947685 @default.
- W4256377773 cites W2128049346 @default.
- W4256377773 cites W2134734244 @default.
- W4256377773 cites W2144575244 @default.
- W4256377773 cites W2161407365 @default.
- W4256377773 cites W2162421206 @default.
- W4256377773 cites W4210712189 @default.
- W4256377773 cites W4231241365 @default.
- W4256377773 cites W4240558819 @default.
- W4256377773 cites W4243127898 @default.
- W4256377773 cites W4244452926 @default.
- W4256377773 cites W4254296432 @default.
- W4256377773 cites W4255632703 @default.
- W4256377773 doi "https://doi.org/10.1109/icse.2015.63" @default.
- W4256377773 hasPublicationYear "2015" @default.
- W4256377773 type Work @default.
- W4256377773 citedByCount "113" @default.
- W4256377773 countsByYear W42563777732015 @default.
- W4256377773 countsByYear W42563777732016 @default.
- W4256377773 countsByYear W42563777732017 @default.
- W4256377773 countsByYear W42563777732018 @default.
- W4256377773 countsByYear W42563777732019 @default.
- W4256377773 countsByYear W42563777732020 @default.
- W4256377773 countsByYear W42563777732021 @default.
- W4256377773 countsByYear W42563777732022 @default.
- W4256377773 countsByYear W42563777732023 @default.
- W4256377773 crossrefType "proceedings-article" @default.
- W4256377773 hasAuthorship W4256377773A5009308931 @default.
- W4256377773 hasAuthorship W4256377773A5011184280 @default.
- W4256377773 hasAuthorship W4256377773A5060115298 @default.
- W4256377773 hasConcept C1009929 @default.
- W4256377773 hasConcept C111472728 @default.
- W4256377773 hasConcept C120665830 @default.
- W4256377773 hasConcept C121332964 @default.
- W4256377773 hasConcept C127313418 @default.
- W4256377773 hasConcept C127413603 @default.
- W4256377773 hasConcept C138885662 @default.
- W4256377773 hasConcept C161821725 @default.
- W4256377773 hasConcept C165205528 @default.
- W4256377773 hasConcept C175551986 @default.
- W4256377773 hasConcept C184337299 @default.
- W4256377773 hasConcept C186846655 @default.
- W4256377773 hasConcept C192209626 @default.
- W4256377773 hasConcept C199360897 @default.
- W4256377773 hasConcept C200601418 @default.
- W4256377773 hasConcept C2775928411 @default.
- W4256377773 hasConcept C2776036281 @default.
- W4256377773 hasConcept C2776372474 @default.
- W4256377773 hasConcept C2777904410 @default.
- W4256377773 hasConcept C2780586882 @default.
- W4256377773 hasConcept C41008148 @default.
- W4256377773 hasConcept C529173508 @default.
- W4256377773 hasConcept C78519656 @default.
- W4256377773 hasConceptScore W4256377773C1009929 @default.
- W4256377773 hasConceptScore W4256377773C111472728 @default.
- W4256377773 hasConceptScore W4256377773C120665830 @default.
- W4256377773 hasConceptScore W4256377773C121332964 @default.
- W4256377773 hasConceptScore W4256377773C127313418 @default.
- W4256377773 hasConceptScore W4256377773C127413603 @default.
- W4256377773 hasConceptScore W4256377773C138885662 @default.
- W4256377773 hasConceptScore W4256377773C161821725 @default.
- W4256377773 hasConceptScore W4256377773C165205528 @default.
- W4256377773 hasConceptScore W4256377773C175551986 @default.
- W4256377773 hasConceptScore W4256377773C184337299 @default.
- W4256377773 hasConceptScore W4256377773C186846655 @default.
- W4256377773 hasConceptScore W4256377773C192209626 @default.
- W4256377773 hasConceptScore W4256377773C199360897 @default.
- W4256377773 hasConceptScore W4256377773C200601418 @default.
- W4256377773 hasConceptScore W4256377773C2775928411 @default.
- W4256377773 hasConceptScore W4256377773C2776036281 @default.
- W4256377773 hasConceptScore W4256377773C2776372474 @default.
- W4256377773 hasConceptScore W4256377773C2777904410 @default.
- W4256377773 hasConceptScore W4256377773C2780586882 @default.
- W4256377773 hasConceptScore W4256377773C41008148 @default.
- W4256377773 hasConceptScore W4256377773C529173508 @default.
- W4256377773 hasConceptScore W4256377773C78519656 @default.
- W4256377773 hasLocation W42563777731 @default.
- W4256377773 hasOpenAccess W4256377773 @default.