Goal-Driven Exploration for Android Applications. - Duling Lai; Julia Rubin (ASE, 2019)