TY  - RPRT
TI  - Generating Predicate Callback Summaries for the Android Framework
AU  - Danilo Dominguez Perez
AU  - Wei Le
PY  - 2017
UR  - https://arxiv.org/abs/1703.08902
ID  - 1703.08902
ER  -