Matches in SemOpenAlex for { <https://semopenalex.org/work/W2041756731> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2041756731 abstract "Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques were based on dedicated repair routines, whereas more recent techniques have used invariants that describe desired structural properties as the basis for repair. All repair techniques are designed with one primary goal: run-time error recovery. However, the actions that any such technique performs to repair an erroneous program state are meant to produce the effect of the actions of a (hypothetical) correct program. The key insight in this paper is that repair actions on the program state can guide debugging of code (when the erroneous program execution is due to a fault in the program and not an external event).This paper presents an approach that abstracts concrete repair actions that a routine performs to repair an erroneous state into a sequence of program statements that perform the same actions using variables visible in the scope of the faulty code. Thus, appending the generated statements to the original code is akin to performing the repair from within the program. Our implementation uses the Juzi data structure repair tool as an enabling technology. Experimental results using a library data structure as well as two applications demonstrate the effectiveness of our approach in enabling repair of faulty code." @default.
- W2041756731 created "2016-06-24" @default.
- W2041756731 creator A5004951814 @default.
- W2041756731 creator A5054186434 @default.
- W2041756731 creator A5064068347 @default.
- W2041756731 date "2011-03-01" @default.
- W2041756731 modified "2023-10-17" @default.
- W2041756731 title "Constraint-based program debugging using data structure repair" @default.
- W2041756731 cites W1502752511 @default.
- W2041756731 cites W1553894716 @default.
- W2041756731 cites W1964566177 @default.
- W2041756731 cites W2010825534 @default.
- W2041756731 cites W2067544274 @default.
- W2041756731 cites W2105691657 @default.
- W2041756731 cites W2121081915 @default.
- W2041756731 cites W2122947685 @default.
- W2041756731 cites W2141656264 @default.
- W2041756731 cites W2156553998 @default.
- W2041756731 cites W2163164396 @default.
- W2041756731 cites W2962708851 @default.
- W2041756731 cites W4237942937 @default.
- W2041756731 cites W4242672916 @default.
- W2041756731 cites W4245234767 @default.
- W2041756731 doi "https://doi.org/10.1109/icst.2011.65" @default.
- W2041756731 hasPublicationYear "2011" @default.
- W2041756731 type Work @default.
- W2041756731 sameAs 2041756731 @default.
- W2041756731 citedByCount "25" @default.
- W2041756731 countsByYear W20417567312012 @default.
- W2041756731 countsByYear W20417567312013 @default.
- W2041756731 countsByYear W20417567312014 @default.
- W2041756731 countsByYear W20417567312015 @default.
- W2041756731 countsByYear W20417567312016 @default.
- W2041756731 countsByYear W20417567312017 @default.
- W2041756731 countsByYear W20417567312018 @default.
- W2041756731 countsByYear W20417567312020 @default.
- W2041756731 countsByYear W20417567312021 @default.
- W2041756731 countsByYear W20417567312022 @default.
- W2041756731 countsByYear W20417567312023 @default.
- W2041756731 crossrefType "proceedings-article" @default.
- W2041756731 hasAuthorship W2041756731A5004951814 @default.
- W2041756731 hasAuthorship W2041756731A5054186434 @default.
- W2041756731 hasAuthorship W2041756731A5064068347 @default.
- W2041756731 hasConcept C1009929 @default.
- W2041756731 hasConcept C115903868 @default.
- W2041756731 hasConcept C121332964 @default.
- W2041756731 hasConcept C127413603 @default.
- W2041756731 hasConcept C168065819 @default.
- W2041756731 hasConcept C177264268 @default.
- W2041756731 hasConcept C199360897 @default.
- W2041756731 hasConcept C200601418 @default.
- W2041756731 hasConcept C2776760102 @default.
- W2041756731 hasConcept C2777904410 @default.
- W2041756731 hasConcept C2778012447 @default.
- W2041756731 hasConcept C2779662365 @default.
- W2041756731 hasConcept C41008148 @default.
- W2041756731 hasConcept C43126263 @default.
- W2041756731 hasConcept C48103436 @default.
- W2041756731 hasConcept C62520636 @default.
- W2041756731 hasConcept C91071405 @default.
- W2041756731 hasConcept C98183937 @default.
- W2041756731 hasConceptScore W2041756731C1009929 @default.
- W2041756731 hasConceptScore W2041756731C115903868 @default.
- W2041756731 hasConceptScore W2041756731C121332964 @default.
- W2041756731 hasConceptScore W2041756731C127413603 @default.
- W2041756731 hasConceptScore W2041756731C168065819 @default.
- W2041756731 hasConceptScore W2041756731C177264268 @default.
- W2041756731 hasConceptScore W2041756731C199360897 @default.
- W2041756731 hasConceptScore W2041756731C200601418 @default.
- W2041756731 hasConceptScore W2041756731C2776760102 @default.
- W2041756731 hasConceptScore W2041756731C2777904410 @default.
- W2041756731 hasConceptScore W2041756731C2778012447 @default.
- W2041756731 hasConceptScore W2041756731C2779662365 @default.
- W2041756731 hasConceptScore W2041756731C41008148 @default.
- W2041756731 hasConceptScore W2041756731C43126263 @default.
- W2041756731 hasConceptScore W2041756731C48103436 @default.
- W2041756731 hasConceptScore W2041756731C62520636 @default.
- W2041756731 hasConceptScore W2041756731C91071405 @default.
- W2041756731 hasConceptScore W2041756731C98183937 @default.
- W2041756731 hasLocation W20417567311 @default.
- W2041756731 hasOpenAccess W2041756731 @default.
- W2041756731 hasPrimaryLocation W20417567311 @default.
- W2041756731 hasRelatedWork W1536968357 @default.
- W2041756731 hasRelatedWork W1559721426 @default.
- W2041756731 hasRelatedWork W2022929508 @default.
- W2041756731 hasRelatedWork W2035603501 @default.
- W2041756731 hasRelatedWork W2042825714 @default.
- W2041756731 hasRelatedWork W2109825832 @default.
- W2041756731 hasRelatedWork W2163352147 @default.
- W2041756731 hasRelatedWork W2168210015 @default.
- W2041756731 hasRelatedWork W2590627218 @default.
- W2041756731 hasRelatedWork W772318632 @default.
- W2041756731 isParatext "false" @default.
- W2041756731 isRetracted "false" @default.
- W2041756731 magId "2041756731" @default.
- W2041756731 workType "article" @default.