حبیبی, علی, خسروی,  رامتین. تولید خودکار آزمایه مبتنی بر توصیف رفتاری قاعده‌محور. فصلنامه مهندسی برق و مهندسی کامپيوتر ايران. 2024;22(3):197-206.