KUMAR SAHOO, Bidush; RAY, Mitrabinda. Concurrency testing using symbolic path finder. International Journal of Engineering and Technology, [S. l.], v. 7, n. 2.6, p. 275–282, 2018. DOI: 10.14419/ijet.v7i2.6.10782. Disponível em: https://mail.sciencepubco.com/index.php/IJET/article/view/10782.. Acesso em: 13 may. 2025.