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...

• Type: Conference
• Year: 2005
• Where: SPIN
• Authors: Sarfraz Khurshid, Iván García, Yuk Lai Suen
• Keywords: Algorithm, Algorithm Performs Repair, Complex Data, SPIN 2005, Theoretical Computer Science