Khosravi, Ramtin, Habibi, Ali (2024) ‘Automatic Test-Case Generation Based on Rule-Based Behavioral Specification’, Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran, 22(3), pp. 197-206. doi: