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