Generating Predicate Callback Summaries for the Android Framework

Danilo Dominguez Perez, Wei Le. Generating Predicate Callback Summaries for the Android Framework. In 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017. pages 68-78, IEEE, 2017. [doi]

Abstract

Abstract is missing.