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