Seven Reasons Why: An In-Depth Study of the Limitations of Random Test Input Generation for Android | IEEE Conference Publication | IEEE Xplore