Is Mutation Analysis Effective at Testing Android Apps?
MobiGUITAR - A Tool for Automated Model-Based Testing of Mobile Apps