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), 197-206.