Automatic detection and repair of errors in data structures (2003)

by Brian Demsky, Martin Rinard
Venue:SIGPLAN Not