Asynchrony-aware static analysis of Android applications.

Ashish Mishra Aditya Kanade Y. N. Srikant

Published in: MEMOCODE (2016)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
java card
malicious code
abstract interpretation
test suite
multi stream
data sets
databases
test generation
artificial intelligence
database systems
audio visual