@techreport{key,
 author = {Brian Demsky and Martin C. Rinard},
 title = {Automatic Detection and Repair of Errors in Data Structures},
 number = {MIT LCS Technical Report 875},
 month = {December},
 year = {2002}
}