Addressing challenges in obtaining high coverage when model checking Android applications


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


6 Figures and Tables

Slides referencing similar topics