Addressing challenges in obtaining high coverage when model checking Android applications

Abstract

Current dynamic analysis tools for Android applications do not get good code coverage since they can only explore a subset of the behaviors of the applications and do not have full control over the environment in which they execute. In this work we use model checking to systematically explore application paths while reducing the analysis size using state… (More)
DOI: 10.1145/3092282.3092302

Topics

6 Figures and Tables

Slides referencing similar topics