Multi-Process Runtime Verification for Android.

Haiyang Sun, Alexander North, Walter Binder

Browse the full APSEC paper archive.