@techreport{key,
 author = {Brian Demsky and Cristian Cadar and Daniel Roy and Martin C. Rinard},
 title = {Efficient Specification-Assisted Error Localization and Correction},
 number = {MIT CSAIL Technical Report 927},
 month = {November},
 year = {2003}
}