Droidel: a general approach to Android framework modeling.

Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang

Browse the full PLDI paper archive.