Crashing fault localization