DroidStar is an Android testing tool that generates behavioral specifications for Android classes that explain how and when their callbacks occur.
The most important interface for using this tool is the
LearningPurpose
abstract class which defines test harnesses for
classes you are interested in. Examples can be found in the
droidstar-experiments
repository.
DroidStar is an implementation of the callback typestate learning technique described in the upcoming ICSE'18 paper DroidStar: Callback Typestates for Android Classes.
To run a DroidStar experiment on a mobile device, clone the
droidstar-experiments
repository and follow the instructions in
its README file.