SIG-Droid: Automated system input generation for Android applications | IEEE Conference Publication | IEEE Xplore