Assertion-based repair of complex data structures

Bassem Elkarablieh, Iván García, Yuk Lai Suen, Sarfraz Khurshid

Abstract

Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the programstate. At such a state, it is standard to terminate the program, debug it if possible, and re-execute it. We propose a new view: instead of terminating the program, use the violated assertion as a basis of repairing the state of the program and let it continue.

BibTeX

@inproceedings{Elkarablieh-al:ASE07,
  author    = {Bassem Elkarablieh and
               Iv{\'{a}}n Garc{\'{\i}}a and
               Yuk Lai Suen and
               Sarfraz Khurshid},
  title     = {Assertion-based repair of complex data structures},
  booktitle = {ASE},
  pages     = {64--73},
  publisher = {{ACM}},
  year      = {2007},
}

Assertion-based repair of complex data structures

Abstract

Related papers