Add to ORKGWe present a system that accepts a specification of key data structure consistency constraints, then dynamically detects and repairs violations of these constraints, enabling the program to continue to execute productively even in the face of otherwise crippling errors. 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 inconsistent data structures and enable the program to continue to operate successfully
This tool demonstration presents Hob, a system for verifying data structure consistency for program...
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency fo...
Repairing violations of integrity constraints in databases can be seen as an interleaving diagnostic...
We present a system that accepts a specification of key data structure consistency constraints, then...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
One of the main challenges that data cleaning systems face is to automatically identify and repair d...
Abstract. We present a framework for verifying that programs correctly preserve impor-tant data stru...
Data structures are one of the most important part of programming. Program faults lead tocorruption ...
Model-based data structure repair is a promising techniquefor enabling programs to continue to execu...
We introduce the concept of fusible data structures to maintain fault-tolerant data in distrib-uted ...
We present a new error localization tool, Archie, that accepts aspecification of key data structure ...
We present a new error localization tool, Archie, that accepts a specification of key data structure...
textContracts and specifications have long been used in object-oriented design, programming and test...
textSoftware systems are now pervasive throughout our world. The reliability of these systems is an ...
textBugs in code continue to pose a fundamental problem for software reliability and cause expensive...
This tool demonstration presents Hob, a system for verifying data structure consistency for program...
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency fo...
Repairing violations of integrity constraints in databases can be seen as an interleaving diagnostic...
We present a system that accepts a specification of key data structure consistency constraints, then...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
One of the main challenges that data cleaning systems face is to automatically identify and repair d...
Abstract. We present a framework for verifying that programs correctly preserve impor-tant data stru...
Data structures are one of the most important part of programming. Program faults lead tocorruption ...
Model-based data structure repair is a promising techniquefor enabling programs to continue to execu...
We introduce the concept of fusible data structures to maintain fault-tolerant data in distrib-uted ...
We present a new error localization tool, Archie, that accepts aspecification of key data structure ...
We present a new error localization tool, Archie, that accepts a specification of key data structure...
textContracts and specifications have long been used in object-oriented design, programming and test...
textSoftware systems are now pervasive throughout our world. The reliability of these systems is an ...
textBugs in code continue to pose a fundamental problem for software reliability and cause expensive...
This tool demonstration presents Hob, a system for verifying data structure consistency for program...
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency fo...
Repairing violations of integrity constraints in databases can be seen as an interleaving diagnostic...