Testing Super Mario Using a Behavior Model Autonomously