Sora Bae, Sungho Lee, Sukyoung Ryu: Towards understanding and reasoning about Android interoperations. ICSE 2019: 223-233