Abdulmalik Humayed2022-05-302022-05-3015128https://drepo.sdl.edu.sa/handle/20.500.14154/50400Model-Based Testing Tool for SecurityThesis