Automatic Detection and Repair of Errors in Data Structures
Name
MIT-LCS-TR-875.pdf
Size
772.76 KB
Format
Adobe PDF
Checksum (MD5)
3ee105f351842953dbbbb4a8dd38d5d7
Author(s)
Demsky, Brian
Rinard, Martin
Date Issued
December 2002
Series/Report no.
MIT-LCS-TR-875
Abstract
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 are relatively easy to develop once one understands the data structures. Furthermore, for our set of benchmark applications, our system can effectively repair errors to deliver consistent data structures that allow the program to continue to operate successfully within its designed operating envelope.
Persistent DSpace Link
