DroidStar: Callback Typestates for Android Classes

Author email: arjunradhakrishna@gmail.com
Tool name: DroidStar
Description: Event-driven programming frameworks, such as Android, are based on components with asynchronous interfaces. The protocols for interacting with these components can often be described by finite-state machines we dub callback typestates. Callback typestates are akin to classical typestates, with the difference that their outputs (callbacks) are produced asynchronously. While useful, these specifications are not commonly available, because writing them is difficult and error-prone. Our goal is to make the task of producing callback typestates significantly easier. We present a callback typestate assistant tool, DroidStar, that requires only limited user interaction to produce a callback typestate. Our approach is based on an active learning algorithm, L*. We improved the scalability of equivalence queries (a key component of L*), thus making active learning tractable on the Android system. We use DroidStar to learn callback typestates for Android classes both for cases where one is already provided by the documentation, and for cases where the documentation is unclear. The results show that DROIDSTAR learns callback typestates accurately and efficiently. Moreover, in several cases, the synthesized callback typestates uncovered surprising and undocumented behaviors.
Bibtex: @inproceedings{radhakrishna2018d, title={D roid S tar: callback typestates for Android classes}, author={Radhakrishna, Arjun and Lewchenko, Nicholas V and Meier, Shawn and Mover, Sergio and Sripada, Krishna Chaitanya and Zufferey, Damien and Chang, Bor-Yuh Evan and {\v{C}}ern{\`y}, Pavol}, booktitle={Proceedings of the 40th International Conference on Software Engineering}, pages={1160--1170}, year={2018}, organization={ACM} }
Link to public pdf: https://dl.acm.org/doi/10.1145/3180155.3180232
Link to tool webpage: https://github.com/cuplv/droidstar
Link to demo: Not provided by authors
Category: None
Year and Conference: 2018, ICSE
Terms of use