Semi-automatic fault localization. - Jones, James A. (2008)