Yan Wang, Hailong Zhang, Atanas Rountev. On the unsoundness of static analysis for Android GUIs. In Charles Zhang, Xavier Rival, editors, Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016. pages 18-23, ACM, 2016. [doi]
Abstract is missing.