21maj19:07
Assertion-based Repair of Complex Data Structures
Abstract
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to terminate the program, debug it if
possible, and re-execute it. W...