Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper.

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh

Browse the full ECOOP paper archive.