ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving.
Haiyang SunAndrea RosàOmar JavedWalter BinderPublished in: ICST (2017)
Keyphrases
- load balancing
- mobile devices
- model checking
- formal verification
- verification method
- asynchronous circuits
- malware detection
- face verification
- database
- statistical shape model
- formal analysis
- traffic load
- mobile platforms
- person identification
- development tools
- signature verification
- human intelligence
- mobile applications
- information processing
- control system
- web services
- genetic algorithm
- data mining