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

Model reverse-engineering of Mobile applications with exploration strategies.