Comparing developer-provided to user-provided tests for fault localization and automated program repair.