“Path Conditions Help to Locate and Localize Faults from Programs ”, Sindh. Uni. Res. J. SS, vol. 43, no. 2, Dec. 2011, doi: 10.26692/surj-ss.v43i2.6038.