Zufferey, Damien Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
arXiv:1701.07842.pdf (Preprint), 582KB
Radhakrishna, A., Lewchenko, N., Meier, S., Mover, S., Sripada, K. C., Zufferey, D., et al. (2017). Learning Asynchronous Typestates for Android Classes. Retrieved from http://arxiv.org/abs/1701.07842.