Localizing failure-inducing program edits based on spectrum information. - Zhang, Lingming; Kim, Miryung; Khurshid, Sarfraz (2011)