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