On the unsoundness of static analysis for Android GUIs.

Yan Wang, Hailong Zhang, Atanas Rountev

Browse the full PLDI paper archive.