Automatic detection and repair of errors in data structures.

Brian Demsky, Martin C. Rinard

Browse the full OOPSLA paper archive.