Text this: AMOGA: A static-dynamic model generation strategy for mobile apps testing