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

Model reverse-engineering of Mobile applications with exploration strategies.
sébastien Salva, Stassia R Zafimiharisoa
PDF Cite