A Model Based Testing Approach for Mobile Device | IEEE Conference Publication | IEEE Xplore