@article{
  author = {Khosravi, Ramtin, Habibi, Ali},
  title = {Automatic Test-Case Generation Based on Rule-Based Behavioral Specification},
  journal = {Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran},
  year = {2024},
  volume = {22},
  number = {3},
  pages = {197-206},
  doi = {}
}