A temporal permission analysis and enforcement framework for Android. | 4 | 0.41 | 2018 |
A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software. | 34 | 0.79 | 2017 |
Ensuring the Consistency of Adaptation through Inter- and Intra-Component Dependency Analysis. | 0 | 0.34 | 2017 |
PATDroid: permission-aware GUI testing of Android | 11 | 0.42 | 2017 |
Mining mobile app markets for prioritization of security assessment effort | 0 | 0.34 | 2017 |
Software architectural principles in contemporary mobile software: from conception to practice. | 0 | 0.34 | 2016 |
Reducing combinatorics in GUI testing of android applications. | 44 | 0.97 | 2016 |
Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android | 13 | 0.52 | 2016 |
Architecture Modeling and Analysis of Security in Android Systems. | 3 | 0.36 | 2016 |
Energy-aware test-suite minimization for Android apps. | 13 | 0.47 | 2016 |
Analysis of android inter-app security vulnerabilities using COVERT | 15 | 0.62 | 2015 |
COVERT: Compositional Analysis of Android Inter-App Permission Leakage | 46 | 1.21 | 2015 |
Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities | 2 | 0.44 | 2014 |
Mbtdd: Model Based Test Driven Development | 1 | 0.37 | 2012 |