Yliès Falcone, Sebastian Currea, Mohamad Jaber. Runtime Verification and Enforcement for Android Applications with RV-Droid. In Third International Conference on Runtime Verification, RV 2012, Pages 88-95, 2013.
@InProceedings{FalconeCJ12,
Author = {Falcone, Yliès and Currea, Sebastian and Jaber, Mohamad},
Title = {{R}untime {V}erification and {E}nforcement for {A}ndroid {A}pplications with {RV}-{D}roid},
BookTitle = {{T}hird {I}nternational {C}onference on {R}untime {V}erification, {RV} 2012},
Pages = {88--95},
Year = {2013}
}
Get EndNote Reference (.ref)