ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving.

Haiyang Sun, Andrea Ros, Omar Javed, Walter Binder

Browse the full ICST paper archive.