Automated security testing of Android applications for secure mobile development | IEEE Conference Publication | IEEE Xplore