Juzi: a tool for repairing complex data structures

Abstract

This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that specifies the structural integrity constraints as inputs. Juzi instruments its inputs and generates a new Java class which behaves similarly to the original class, yet automatically repairs itself when the structural integrity constraints are violated.

BibTeX

@inproceedings{Elkarablieh-Khurshid:ICSE08,
  author    = {Bassem Elkarablieh and
               Sarfraz Khurshid},
  title     = {Juzi: a tool for repairing complex data structures},
  booktitle = {ICSE},
  pages     = {855--858},
  publisher = {{ACM}},
  year      = {2008},
}

Juzi: a tool for repairing complex data structures

Abstract

Related papers