Data structure repair using goal-directed reasoning.

Brian Demsky, Martin C. Rinard

Browse the full ICSE paper archive.