Runtime Verification and Enforcement for Android Applications with RV-Droid.

Ylis Falcone, Sebastian Currea, Mohamad Jaber

Browse the full RV paper archive.