Sébastien Salva
Sébastien Salva
Home
Research
Tools
Publications
Teaching
Projects
Contact
Light
Dark
Automatic
Model inference of Mobile Applications with dynamic state abstraction
sébastien Salva
,
Patrice Laurencot
,
Stassia R Zafimiharisoa
January, 2016
PDF
Cite
Type
6
Publication
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015
State abstraction ; Model inference ; Automatic testing ; Android applications
Cite
×