CovDroid: A Black-Box Testing Coverage System for Android | IEEE Conference Publication | IEEE Xplore