Capturing Inter-process Communication for Runtime Verification on Android.

Alex Villazn, Haiyang Sun, Walter Binder

Browse the full ISoLA paper archive.