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