G. Geetha, M. Mahanandi Babu, G. Ramesh,. “Test Case Generation for Software Quality Assurance by Using PrT Nets”. International Journal of Engineering and Computer Science 5, no. 12 (November 2, 2016). Accessed July 22, 2024. https://ijecs.in/index.php/ijecs/article/view/3480.