أرسل هذا في رسالة قصيرة: Detecting Game Bugs Using Genetic Algorithms And Reachability Analysis Of Colored Petri Nets Models