Automated model-based Android GUI testing using multi-level GUI comparison criteria | Synapse