Static extraction of IFML models for Android apps.

An Huang, Minxue Pan, Tian Zhang, Xuandong Li

Browse the full MODELS paper archive.