Data structure repair using goal-directed reasoning.

Sat, 01 Jan 2005 00:00:00 +0100

Brian Demsky, Martin C. Rinard:
Data structure repair using goal-directed reasoning. ICSE 2005: 176-185