"Architecture Modeling and Analysis of Security in Android Systems",
10th European Conference on Software Architecture (ECSA 2016)
, Istanbul, Turkey, September, 2016.
"Energy-Aware Test-Suite Minimization for Android Apps",
25th International Symposium on Software Testing and Analysis (ISSTA 2016)
, Saarbrücken, Germany, ACM, pp. 425-436, July, 2016.
"Inferring Software Component Interaction Dependencies for Adaptation Support",
ACM Transactions on Autonomous and Adaptive Systems
, vol. 10, no. 4, February, 2016.
"Mining Software Component Interactions to Detect Security Threats at the Architectural Level",
13th Working IEEE/IFIP Conference on Software Architecture (WICSA 2016)
, Venice, Italy, IEEE, pp. 211 - 220, April, 2016.
"Practical, Formal Synthesis and Autonomic Enforcement of Security Policies for Android",
46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016)
, Toulouse, France, June, 2016.
"Reducing Combinatorics in GUI Testing of Android Applications",
38th International Conference on Software Engineering
, Austin, TX, ACM, pp. 559-570, May, 2016.
"Titanium: Efficient Analysis of Evolving Alloy Specifications",
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016)
, Seattle, WA, ACM, November, 2016.