Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps.

Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan

Browse the full APLAS paper archive.