Mining software repair models for reasoning on the search space of automated program fixing | Publicación