Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation | IEEE Journals & Magazine | IEEE Xplore