2011. Path Conditions Help to Locate and Localize Faults from Programs . Sindh University Research Journal - SURJ (Science Series). 43, 2 (Dec. 2011). DOI:https://doi.org/10.26692/surj-ss.v43i2.6038.