G. Geetha, M. M. B. G. R. “Test Case Generation for Software Quality Assurance by Using PrT Nets”. International Journal of Engineering and Computer Science, vol. 5, no. 12, Nov. 2016, http://ijecs.in/index.php/ijecs/article/view/3480.