@misc{indiciaec60d6b12e871,
  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 = {2018},
  url = {https://arxiv.org/abs/1701.07842},
  note = {Source identifier: 1701.07842}
}