security testing ; model-based testing ; Android applications ; intent mechanism