Sentinel: Generating GUI Tests for Android Sensor Leaks | IEEE Conference Publication | IEEE Xplore