Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security | IEEE Conference Publication | IEEE Xplore