M. M. Baig. 2011. “A Formal Software Testing Technique”. Pakistan Journal of Science 63 (4). https://doi.org/10.57041/vol63iss4pp%p.