Modeling and Test Case Generation of Inter-component Communication in Android | IEEE Conference Publication | IEEE Xplore