@article{droidstarcallbacktypestatesforandroid,
  title = {DroidStar: Callback Typestates for Android Classes},
  author = {Arjun Radhakrishna and Nicholas V. Lewchenko and Shawn Meier and Sergio Mover and Krishna Chaitanya Sripada and Damien Zufferey and Bor-Yuh Evan Chang and Pavol Černý},
  year = {2017},
  eprint = {1701.07842},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1701.07842v3},
}