AppsPlayground: automatic security analysis of smartphone applications
Symbolic execution and program testing