Matches in SemOpenAlex for { <https://semopenalex.org/work/W3157884124> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W3157884124 abstract "Data structure repair has been proposed as an error recovery mechanism to increase software resilience when errors happen at runtime for a deployed system. Although substantial work has been done on data structure repair, scalability remains a key challenge and applicability remains rather restricted. We present two constraint-based data structure repair techniques that build on the well-known Korat solver, which introduced an effective backtracking search to find all object graphs that satisfy user given structural properties within the user given bounds. Our baseline technique repairs an erroneous data structure by adapting the Korat search. While this approach is effective for repairing a data structure, it suffers from re-exploration when applied on data structures with similar errors that recur due to a fault in software or hardware that is exercised repeatedly. We introduce memoization to amortize the cost of a Korat search over repeated repairs that overlap in search. Our experimental results show that our memoized technique is effective for repairing data structure errors that recur." @default.
- W3157884124 created "2021-05-10" @default.
- W3157884124 creator A5004951814 @default.
- W3157884124 creator A5006659555 @default.
- W3157884124 creator A5046599936 @default.
- W3157884124 date "2021-03-22" @default.
- W3157884124 modified "2023-09-24" @default.
- W3157884124 title "Enhancing constraint-based repair of data structure errors that recur using memoization" @default.
- W3157884124 cites W1980627207 @default.
- W3157884124 cites W2009489720 @default.
- W3157884124 cites W2141656264 @default.
- W3157884124 cites W2142785340 @default.
- W3157884124 cites W2155024733 @default.
- W3157884124 cites W2810814546 @default.
- W3157884124 cites W3110562743 @default.
- W3157884124 cites W4237492309 @default.
- W3157884124 cites W4253606798 @default.
- W3157884124 doi "https://doi.org/10.1145/3412841.3442055" @default.
- W3157884124 hasPublicationYear "2021" @default.
- W3157884124 type Work @default.
- W3157884124 sameAs 3157884124 @default.
- W3157884124 citedByCount "0" @default.
- W3157884124 crossrefType "proceedings-article" @default.
- W3157884124 hasAuthorship W3157884124A5004951814 @default.
- W3157884124 hasAuthorship W3157884124A5006659555 @default.
- W3157884124 hasAuthorship W3157884124A5046599936 @default.
- W3157884124 hasBestOaLocation W31578841241 @default.
- W3157884124 hasConcept C127413603 @default.
- W3157884124 hasConcept C154945302 @default.
- W3157884124 hasConcept C186644900 @default.
- W3157884124 hasConcept C2776036281 @default.
- W3157884124 hasConcept C41008148 @default.
- W3157884124 hasConcept C42560504 @default.
- W3157884124 hasConcept C78519656 @default.
- W3157884124 hasConcept C79516417 @default.
- W3157884124 hasConceptScore W3157884124C127413603 @default.
- W3157884124 hasConceptScore W3157884124C154945302 @default.
- W3157884124 hasConceptScore W3157884124C186644900 @default.
- W3157884124 hasConceptScore W3157884124C2776036281 @default.
- W3157884124 hasConceptScore W3157884124C41008148 @default.
- W3157884124 hasConceptScore W3157884124C42560504 @default.
- W3157884124 hasConceptScore W3157884124C78519656 @default.
- W3157884124 hasConceptScore W3157884124C79516417 @default.
- W3157884124 hasFunder F4320306076 @default.
- W3157884124 hasLocation W31578841241 @default.
- W3157884124 hasOpenAccess W3157884124 @default.
- W3157884124 hasPrimaryLocation W31578841241 @default.
- W3157884124 hasRelatedWork W1602072618 @default.
- W3157884124 hasRelatedWork W1625144041 @default.
- W3157884124 hasRelatedWork W2020749411 @default.
- W3157884124 hasRelatedWork W2165208458 @default.
- W3157884124 hasRelatedWork W2263225824 @default.
- W3157884124 hasRelatedWork W2379822645 @default.
- W3157884124 hasRelatedWork W2496475388 @default.
- W3157884124 hasRelatedWork W3037224705 @default.
- W3157884124 hasRelatedWork W3086637025 @default.
- W3157884124 hasRelatedWork W4234815652 @default.
- W3157884124 isParatext "false" @default.
- W3157884124 isRetracted "false" @default.
- W3157884124 magId "3157884124" @default.
- W3157884124 workType "article" @default.