MutAPK 2.0: a tool for reducing mutation testing effort of Android apps. - Camilo Escobar-Velásquez; Diego Riveros; Mario Linares-Vásquez (ESEC/SIGSOFT FSE, 2020)