Khosravi, Ramtin, Habibi, Ali. “Automatic Test-Case Generation Based on Rule-Based Behavioral Specification.” Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran, vol. 22, no. 3, 2024, pp. 197-206.