Return to Issue Details Path Conditions Help to Locate and Localize Faults from Programs Download Download PDF