Model generation ; Automatic testing ; exploration strategies ; STS ; Android applications