Model Checking for Mobile Android Malware Evolution

Authors: 
Aniello Cimitile
Fabio Martinelli
Francesco Mercaldo
Vittoria Nardone
Antonella Santone
Gigliola Vaglini

Formal Methods in Software Engineering, ICSE, International Conference on Software Engineering

Buenos Aires, Argentina, May 27, 2017

NeCS partner: Consiglio Nazionale delle Ricerche