Dr. Kirill BogdanovABDULLAH AHMAD HUWAYMID ALSAEEDI2022-05-282022-05-2830174https://drepo.sdl.edu.sa/handle/20.500.14154/37945Improving Software Model Inference by Combining State Merging and Markov ModelsThesis