Search
Now showing items 1-1 of 1
Automatic Detection and Repair of Errors in Data Structures
(2002-12)
We present a system that accepts a specification of key data structure constraints, then dynamically detects and repairs violations of these constraints. Our experience using our system indicates that the specifications ...