Test Case Generation for Software Quality Assurance by Using PrT Nets. (2016). International Journal of Engineering and Computer Science, 5(12). https://ijecs.in/index.php/ijecs/article/view/3480