An automated model based testing approach for platform games | IEEE Conference Publication | IEEE Xplore