Asynchrony-aware static analysis of Android applications

Ashish Mishra, Aditya Kanade, Y. N. Srikant. Asynchrony-aware static analysis of Android applications. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. pages 163-172, IEEE, 2016. [doi]

Authors

Ashish Mishra

This author has not been identified. Look up 'Ashish Mishra' in Google

Aditya Kanade

This author has not been identified. It may be one of the following persons: Look up 'Aditya Kanade' in Google

Y. N. Srikant

This author has not been identified. Look up 'Y. N. Srikant' in Google