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

  Source Code

• Automated Concolic Testing of Smartphone Apps Saswat Anand, Mayur Naik, Hongseok Yang, Mary Jean Harrold.
  FSE’12: ACM Symposium on Foundations of Software Engineering.

  Source Code, Slides, Full-Version

Software and Data

• Dynodroid source code and VHD
• Dynodroid evaluation data (FSE’13)
• Acteve source code

People

• Saswat Anand
• Aravind Machiry
• Mayur Naik
• Rohan Tahiliani
• Hongseok Yang

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.