M. M. Baig. (2011). A Formal Software Testing Technique. Pakistan Journal of Science, 63(4). https://doi.org/10.57041/pjs.v63i4.90