Sciweavers

SPIN
2005
Springer

Repairing Structurally Complex Data

13 years 9 months ago
Repairing Structurally Complex Data
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 impleme...
Sarfraz Khurshid, Iván García, Yuk L
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where SPIN
Authors Sarfraz Khurshid, Iván García, Yuk Lai Suen
Comments (0)