“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://www.ijecs.in/index.php/ijecs/article/view/3480.