Yepang Liu, Chang Xu. VeriDroid: automating Android application verification. In Anders Andersen, Chang Xu, editors, Proceedings of the 2013 Middleware Doctoral Symposium, MDS 2013, Beijing, China, December 9-13, 2013. ACM, 2013. [doi]
Abstract is missing.