Sign in
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.
Philip Daian
Yliès Falcone
Patrick O'Neil Meredith
Traian-Florin Serbanuta
Shin'ichi Shiriashi
Akihito Iwai
Grigore Rosu
Published in:
RV (2015)
Keyphrases
</>
e learning
mobile devices
data sets
mobile applications
android application
information retrieval
mobile platform
mobile platforms
real world
data mining
knowledge base
website
wireless networks
smart phones
malware detection
mobile apps