%0 Journal Article
%A Khosravi, Ramtin, Habibi, Ali
%T Automatic Test-Case Generation Based on Rule-Based Behavioral Specification
%J Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran
%V 22
%N 3
%P 197-206
%D 2024
%R 
%U https://rimag.ir/fa/Article/44039