Time-travel Testing of Android Apps. - Zhen Dong; Böhme, Marcel; Cojocaru, Lucia; Roychoudhury, Abhik (ICSE: International Conference on Software Engineering, 2020)