“A Formal Software Testing Technique”. Pakistan Journal of Science 63, no. 4 (December 1, 2011). Accessed February 16, 2026. https://paas-pk.org/index.php/pjs/article/view/90.