Formal Models generation (guided by exploration strategies) and automatic testing Tool for Mobile application .