| Publication Title: |
Automatic Detection and Repair of Errors in Data Structures |
| Publication Author: |
Demsky, Brian |
| Additional Authors: |
Martin Rinard |
| LCS Document Number: |
MIT-LCS-TR-875 |
| Publication Date: |
12-6-2002 |
| LCS Group: |
Computer Architecture |
| Additional URL: |
|
| 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. |
| To obtain this publication: |
|
|
|
To purchase a printed copy of this publication please contact
MIT
Document Services.
|