Dynodroid: an input generation system for Android apps2013-08-180 OA AI DOI:10.1145/2491411.2491450OriginalShareSaveView PDFAbstract En