SMARTGEN: Exposing Server URLs of Mobile Apps With Selective Symbolic Execution.

Chaoshun Zuo Zhiqiang Lin

Published in: WWW (2017)

Keyphrases

symbolic execution
mobile apps
static analysis
test generation
test data generation
source code
specification language
mobile applications
client server
database
web server
web pages
data flow
smart phones
m learning
query processing
mobile devices
genetic algorithm