2016. Test Case Generation for Software Quality Assurance by Using PrT Nets. International Journal of Engineering and Computer Science. 5, 12 (Nov. 2016).