State abstraction ; Model inference ; Automatic testing ; Android applications

Model inference of Mobile Applications with dynamic state abstraction
sébastien Salva, Patrice Laurencot, Stassia R Zafimiharisoa
PDF Cite