Astor: An automated software repair framework