News
- Nov’13: invited talk on Dynodroid at CASCON’13 workshop
- Aug’13: Dynodroid received a distinguished artifact award at FSE’13!
- Jun’13: source code and evaluation data of Dynodroid released
- Jun’13: paper on Dynodroid to appear at FSE’13
- Mar’13: source code of Acteve (symbolic execution engine for Android apps) released
- Jan’12: talk on Acteve at Microsoft Research India
About
Smartphones and apps that run on them are becoming increasingly prevalent. There is a growing need for software-quality tools in all stages of an app’s life-cycle, including development, testing, auditing, and deployment. This project investigates algorithms and systems for effectively analyzing smartphone apps.
Dynodroid is a system for automatically generating relevant inputs to Android apps. It is capable of generating both UI inputs (e.g., touchscreen taps and gestures) and system inputs (e.g., simulating incoming SMS messages). It also allows interleaving inputs from machine and human.
Papers
-
Dynodroid: An Input Generation System for Android Apps Aravind Machiry, Rohan Tahiliani, Mayur Naik.
FSE’13: ACM Symposium on Foundations of Software Engineering.
Distinguished Artifact Award -
Automated Concolic Testing of Smartphone Apps Saswat Anand, Mayur Naik, Hongseok Yang, Mary Jean Harrold.
FSE’12: ACM Symposium on Foundations of Software Engineering.
Software and Data
People
Questions
For questions about Dynodroid, send email to dynodroid{at}googlegroups.com or browse the archives. Posting does not require membership but posts by non-members may be moderated to avoid spamming group members.
Acknowledgments
This research is funded in part by DARPA (contract #FA8750-12-2-0020), NSF (award #1253867), and gifts from Google and Microsoft.