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 (Nov. 2016).