%0 Journal Article
%A Habibi, Ali, Khosravi, Ramtin
%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/en/Article/44039