Model Checking for Mobile Android Malware Evolution.

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

Browse the full ICSE paper archive.