Static extraction of IFML models for Android apps. - An Huang 005; Minxue Pan; Tian Zhang 001; Xuandong Li (MoDELS (Companion), 2018)

Reinforcement learning based curiosity-driven testing of Android applications. - Minxue Pan; An Huang 005; Guoxin Wang; Tian Zhang 001; Xuandong Li (ISSTA, 2020)