Matches in SemOpenAlex for { <https://semopenalex.org/work/W1502752511> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1502752511 endingPage "138" @default.
- W1502752511 startingPage "123" @default.
- W1502752511 abstract "We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them, the algorithm performs repair actions that mutate the given structure to generate a new structure that satisfies the constraints. Assertions are written as imperative predicates, which can express rich structural properties. Since these properties can be arbitrarily complex, our algorithm is sound but not complete, and it may not terminate in certain cases. Experimental results with our prototype implementation, Juzi, show that it is feasible to efficiently repair a variety of complex data structures that are routinely used in library code. Juzi can often repair structures comprising of over a hundred objects (even when majority of the objects have some corrupted field) in less than one second. Our algorithm is based on systematic backtracking but does not require storing states and can easily be implemented in a variety of software model checkers, such as the Java PathFinder, SPIN, and VeriSoft." @default.
- W1502752511 created "2016-06-24" @default.
- W1502752511 creator A5004951814 @default.
- W1502752511 creator A5045173322 @default.
- W1502752511 creator A5064588441 @default.
- W1502752511 date "2005-01-01" @default.
- W1502752511 modified "2023-09-26" @default.
- W1502752511 title "Repairing Structurally Complex Data" @default.
- W1502752511 cites W1515278398 @default.
- W1502752511 cites W1720848645 @default.
- W1502752511 cites W1980314090 @default.
- W1502752511 cites W1980627207 @default.
- W1502752511 cites W1993836075 @default.
- W1502752511 cites W2024148935 @default.
- W1502752511 cites W2065675749 @default.
- W1502752511 cites W2098010463 @default.
- W1502752511 cites W2101512909 @default.
- W1502752511 cites W2113944334 @default.
- W1502752511 cites W2115309705 @default.
- W1502752511 cites W2125855750 @default.
- W1502752511 cites W2135274583 @default.
- W1502752511 cites W2164392635 @default.
- W1502752511 cites W2165413178 @default.
- W1502752511 cites W4213079124 @default.
- W1502752511 cites W4253606798 @default.
- W1502752511 doi "https://doi.org/10.1007/11537328_12" @default.
- W1502752511 hasPublicationYear "2005" @default.
- W1502752511 type Work @default.
- W1502752511 sameAs 1502752511 @default.
- W1502752511 citedByCount "35" @default.
- W1502752511 countsByYear W15027525112012 @default.
- W1502752511 countsByYear W15027525112013 @default.
- W1502752511 countsByYear W15027525112014 @default.
- W1502752511 countsByYear W15027525112015 @default.
- W1502752511 countsByYear W15027525112016 @default.
- W1502752511 countsByYear W15027525112017 @default.
- W1502752511 countsByYear W15027525112018 @default.
- W1502752511 crossrefType "book-chapter" @default.
- W1502752511 hasAuthorship W1502752511A5004951814 @default.
- W1502752511 hasAuthorship W1502752511A5045173322 @default.
- W1502752511 hasAuthorship W1502752511A5064588441 @default.
- W1502752511 hasBestOaLocation W15027525112 @default.
- W1502752511 hasConcept C41008148 @default.
- W1502752511 hasConceptScore W1502752511C41008148 @default.
- W1502752511 hasLocation W15027525111 @default.
- W1502752511 hasLocation W15027525112 @default.
- W1502752511 hasOpenAccess W1502752511 @default.
- W1502752511 hasPrimaryLocation W15027525111 @default.
- W1502752511 hasRelatedWork W2049775471 @default.
- W1502752511 hasRelatedWork W2093578348 @default.
- W1502752511 hasRelatedWork W2350741829 @default.
- W1502752511 hasRelatedWork W2358668433 @default.
- W1502752511 hasRelatedWork W2376932109 @default.
- W1502752511 hasRelatedWork W2382290278 @default.
- W1502752511 hasRelatedWork W2390279801 @default.
- W1502752511 hasRelatedWork W2748952813 @default.
- W1502752511 hasRelatedWork W2899084033 @default.
- W1502752511 hasRelatedWork W3004735627 @default.
- W1502752511 isParatext "false" @default.
- W1502752511 isRetracted "false" @default.
- W1502752511 magId "1502752511" @default.
- W1502752511 workType "book-chapter" @default.