Assertion-based repair of complex data structures
Bassem Elkarablieh, Iván García, Yuk Lai Suen, Sarfraz Khurshid · 2007
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.