TY  - JOUR
AU  - Khosravi, Ramtin
AU  - Habibi, Ali
TI  - Automatic Test-Case Generation Based on Rule-Based Behavioral Specification
JO  - Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran
VL  - 22
IS  - 3
SP  - 197
EP  - 206
PY  - 2024
DO  - 
ER  -