Path Conditions Help to Locate and Localize Faults from Programs . Sindh. Uni. Res. J. SS [Internet]. 2011 Dec. 6 [cited 2026 Nov. 6];43(2). Available from: https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6038