Targeted Therapy for Program Bugs