Is Mutation Analysis Effective at Testing Android Apps? | IEEE Conference Publication | IEEE Xplore