G. GEETHA, M. M. B. G. R. Test Case Generation for Software Quality Assurance by Using PrT Nets. International Journal of Engineering and Computer Science, india, v. 5, n. 12, 2016. Disponível em: https://ijecs.in/index.php/ijecs/article/view/3480. Acesso em: 22 jul. 2024.