Localizing and repairing faults in deep learning programs