StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework. - Arzt, Steven; Bodden, Eric (ICSE: International Conference on Software Engineering, 2016)