Modeling and Test Case Generation of Inter-component Communication in Android

Proceedings - 2nd ACM International Conference on Mobile Software Engineering and Systems, MOBILESoft 2015

Volumn , Issue , 2015, Pages 113-116

  Jha, Ajay Kumar ^a   Lee, Sunghee ^a   Lee, Woo Jin ^a  

^a Kyungpook National University   (South Korea)

Author keywords

Android; inter component communication; modeling; security analysis; test case generation

Indexed keywords

MODELS; SOFTWARE ENGINEERING;

ABSTRACTION LEVEL; ANDROID; ANDROID APPLICATIONS; CONCEPTUAL MODEL; SECURITY ANALYSIS; SOFTWARE ENGINEERING PROCESS; TEST CASE; TEST CASE GENERATION;

ANDROID (OPERATING SYSTEM);

EID: 84960891743     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MobileSoft.2015.24     Document Type: Conference Paper

References (12)

1. Anthony I Wasserman, "Software engineering issues for mobile application development", in Proceedings of the FSE/SDP workshop on Future of software engineering research, 2010, pp. 397-400.
2. Peter P. Chen, Bernhard Thalheim, and Leah Y. Wong, "Future directions of conceptual modeling", in Conceptual modeling, 1999, pp. 287-301.
3. W. Enck, P. Gilbert, B. G. Chun, L. P. Cox, J. Jung, P. McDaniel, and A. N. Sheth, "TaintDroid: an information flow tracking system for real-time privacy monitoring on smartphones", in Communications of the ACM, 57(3), 2014, pp. 99-106.
4. E. Chin, A. P. Felt, K. Greenwood, and D. Wagner, "Analyzing interapplication communication in Android", in Proceedings of the 9th international conference on Mobile systems, applications, and services, 2011, pp. 239-252.
5. P.P. Chan, L. C. Hui, and S. M. Yiu, "Droidchecker: analyzing android applications for capability leak", in Proceedings of the fifth ACM conference on Security and Privacy in Wireless and Mobile Networks, 2012, pp. 125-136.
6. A. K. Maji, F. A. Arshad, S. Bagchi, and J.S. Rellermeyer, "An empirical study of the robustness of inter-component communication in Android", in Proceedings of the 42nd IEEE/IFIP International Conference on Dependable Systems and Networks, 2012, pp. 1-12.
7. D. Octeau, P. McDaniel, S. Jha, A. Bartel, E. Bodden, J. Klein, and Y. Le Traon, "Effective inter-component communication mapping in android: An essential step towards holistic security analysis", in Proceedings of the 22nd USENIX Security Symposium, 2013.
8. M. Ko, Y. J. Seo, B. K. Min, S. Kuk, and H. S. Kim, "Extending UML Meta-model for Android Application", in Proceedings of the IEEE/ACIS 11th International Conference on Computer and Information Science (ICIS), 2012, pp. 669-674.
9. F. T. Balagtas-Fernandez, and H. Hussmann, "Model-driven development of mobile applications", in Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2008, pp. 509-512.
10. A. Armando, G. Costa, and A. Merlo, "Formal modeling and reasoning about the Android security framework", in Proceedings of the 7th International Symposium on Trustworthy Global Computing, 2013, pp. 64-81.
11. E. Fragkaki, L. Bauer, L. Jia, and D. Swasey, "Modeling and enhancing Android's permission system", in Computer Security-ESORICS, 2012, pp. 1-18.
12. Y. Jing, G. J. Ahn, and H. Hu, "Model-based conformance testing for android", in Proceedings of the 7th International Workshop on Security (IWSEC), 2012, pp. 1-18.