Sébastien Salva
Sébastien Salva
Home
Research
Tools
Publications
Teaching
Projects
Contact
Light
Dark
Automatic
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
Cite
×