Dynodroid: an input generation system for Android apps. - Aravind Machiry; Rohan Tahiliani; Mayur Naik (ESEC/SIGSOFT FSE, 2013)