AIB 2015-02: Testing Life Cycle-related Properties of Mobile Applications