DynAMICS: A Tool-Based Method for the Specification and Dynamic Detection of Android Behavioral Code Smells | IEEE Journals & Magazine | IEEE Xplore