Time-travel testing of Android apps. - Dong, Zhen; Böhme, Marcel; Cojocaru, Lucia; Roychoudhury, Abhik (2020)