I. Introduction
Android [37] is the most widely deployed mobile operating system (OS). In early 2017, the number of Android applications (apps) in Google Play is about 2.4 million and in late 2017, almost another 1 million Android apps have been added to Google Play [39]. Owing to the competitions among apps of the same kind, developers are increasingly placing higher priorities to assure their Android apps against bugs.