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. 2024;22(3):197-206.