{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T09:59:43Z","timestamp":1771667983225,"version":"3.50.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,2,27]],"date-time":"2014-02-27T00:00:00Z","timestamp":1393459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10009-014-0303-8","type":"journal-article","created":{"date-parts":[[2014,2,26]],"date-time":"2014-02-26T10:17:33Z","timestamp":1393409853000},"page":"201-221","source":"Crossref","is-referenced-by-count":16,"title":["APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities"],"prefix":"10.1007","volume":"17","author":[{"given":"S\u00e9bastien","family":"Salva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stassia R.","family":"Zafimiharisoa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,27]]},"reference":[{"key":"303_CR1","unstructured":"Android developer page. In: http:\/\/developer.android.com\/index.html , last accessed Feb 2013"},{"key":"303_CR2","doi-asserted-by":"crossref","unstructured":"Amalfitano, D., Fasolino, A., Tramontana, P.: A gui crawling-based technique for android mobile application testing. In: In IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 252\u2013261. IEEE (2011)","DOI":"10.1109\/ICSTW.2011.77"},{"key":"303_CR3","doi-asserted-by":"crossref","unstructured":"Benli, S., Habash, A., Herrmann, A., Loftis, T., Simmonds, D.: A comparative evaluation of unit testing techniques on a mobile platform. In: Proceedings of the 2012 Ninth International Conference on Information Technology\u2014New Generations. ITNG \u201912, pp. 263\u2013268. IEEE Computer Society, Washington (2012)","DOI":"10.1109\/ITNG.2012.45"},{"key":"303_CR4","unstructured":"Bugiel, S., Davi, L., Dmitrienko, A., Fischer, T., Sadeghi, A.R., Shastry, B.: Towards taming privilege-escalation attacks on android. In: 19th Annual Network & Distributed System Security Symposium (NDSS) (2012)"},{"key":"303_CR5","doi-asserted-by":"crossref","unstructured":"Chaudhuri, A.: Language-based security on Android. In: PLAS \u201909: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, pp. 1\u20137. ACM, New York (2009)","DOI":"10.1145\/1554339.1554341"},{"key":"303_CR6","doi-asserted-by":"crossref","unstructured":"Chin, E., Felt, A.P., Greenwood, K., Wagner, D.: Analyzing inter-application communication in android. In: Proceedings of the 9th International Conference on Mobile Systems, Applications, and Services (2011)","DOI":"10.1145\/1999995.2000018"},{"key":"303_CR7","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Gibbons, P.B., Mugridge, W.B., Colbourn, C.J.: Constructing test suites for interaction testing. In: Proceedings of the 25th International Conference on Software Engineering, pp. 38\u201348 (2003)","DOI":"10.1109\/ICSE.2003.1201186"},{"key":"303_CR8","doi-asserted-by":"crossref","unstructured":"Cuppens, F., Cuppens-Boulahia, N., Sans, T.: Nomad : A security model with non atomic actions and deadlines. In: Computer Security Foundations. CSFW-18 2005. 18th IEEE, Workshop, pp. 186\u2013196 (2005)","DOI":"10.1109\/CSFW.2005.20"},{"key":"303_CR9","doi-asserted-by":"crossref","unstructured":"Davi, L., Dmitrienko, A., Sadeghi, A.R., Winandy, M.: Privilege escalation attacks on android. In: Proceedings of the 13th international conference on Information security, ISC\u201910, pp. 346\u2013360. Springer-Verlag (2011)","DOI":"10.1007\/978-3-642-18178-8_30"},{"key":"303_CR10","doi-asserted-by":"crossref","unstructured":"Felt, A.P., Chin, E., Hanna, S., Song, D., Wagner, D.: Android permissions demystified. In: In Proceedings of the 18th ACM conference on Computer and communications security, pp. 627\u2013638 (2011)","DOI":"10.1145\/2046707.2046779"},{"key":"303_CR11","doi-asserted-by":"crossref","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.: Test Generation based on symbolic specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004, no. 3395 in Lecture Notes in Computer Science, pp. 1\u201315. Springer (2005)","DOI":"10.1007\/978-3-540-31848-4_1"},{"key":"303_CR12","unstructured":"Grace, M., Zhou, Y., Wang, Z., Jiang, X.: Systematic detection of capability leaks in stock Android smartphones. In: Proceedings of the 19th Network and Distributed System Security Symposium (NDSS) (2012)"},{"key":"303_CR13","unstructured":"Hurd, J.: fuse: Inter-application security for android. In: Proceedings of the High Confidence Software & Systems (HCSS 2012) (2012)"},{"key":"303_CR14","doi-asserted-by":"crossref","unstructured":"Jing, Y., Ahn, G.J., Hu, H.: Model-based conformance testing for android. In: Hanaoka, G., Yamauchi, T. (eds.) In: Proceedings of the 7th International Workshop on Security (IWSEC), Lecture Notes in Computer Science, vol. 7631, pp. 1\u201318. Springer (2012)","DOI":"10.1007\/978-3-642-34117-5_1"},{"key":"303_CR15","doi-asserted-by":"crossref","unstructured":"Kantola, D., Chin, E., He, W., Wagner, D.: Reducing attack surfaces for intra-application communication in android. In: Proceedings of the second ACM workshop on Security and privacy in smartphones and mobile devices. SPSM \u201912, pp. 69\u201380. ACM, New York (2012)","DOI":"10.1145\/2381934.2381948"},{"key":"303_CR16","doi-asserted-by":"crossref","unstructured":"Kiezun, A., Ganesh, V., Guo, P.J., Hooimeijer, P., Ernst, M.D.: Hampi: a solver for string constraints. In: ISSTA \u201909: Proceedings of the eighteenth international symposium on Software testing and analysis, pp. 105\u2013116. ACM, New York (2009)","DOI":"10.1145\/1572272.1572286"},{"key":"303_CR17","doi-asserted-by":"crossref","unstructured":"Le Traon, Y., Mouelhi, T., Baudry, B.: Testing security policies: going beyond functional testing. In: International Symposium on Software Reliability Engineering (2007)","DOI":"10.1109\/ISSRE.2007.27"},{"key":"303_CR18","doi-asserted-by":"crossref","unstructured":"Maji, A., Arshad, F., Bagchi, S., Rellermeyer, J.: An empirical study of the robustness of inter-component communication in android. In: Dependable Systems and Networks (DSN), 2012 42nd Annual IEEE\/IFIP International Conference on, pp. 1\u201312 (2012)","DOI":"10.1109\/DSN.2012.6263963"},{"issue":"2","key":"303_CR19","first-page":"241","volume":"43","author":"A Marback","year":"2013","unstructured":"Marback, A., Do, H., He, K., Kondamarri, S., Xu, D.: A threat model-based approach to security testing. Software 43(2), 241\u2013258 (2013)","journal-title":"Software"},{"key":"303_CR20","doi-asserted-by":"crossref","unstructured":"Marchand, H., Dubreil, J., J\u00e9ron, T.: Automatic testing of access control for security properties. In: TESTCOM\/FATES 2009 (2009)","DOI":"10.1007\/978-3-642-05031-2_8"},{"key":"303_CR21","doi-asserted-by":"crossref","unstructured":"Mouelhi, T., Fleurey, F., Baudry, B., Traon, Y.: A model-based framework for security policy specification, deployment and testing. In: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems, pp. 537\u2013552 (2008)","DOI":"10.1007\/978-3-540-87875-9_38"},{"key":"303_CR22","doi-asserted-by":"crossref","unstructured":"de Moura, L.M., Bj\u00f8rner, N.: Z3: An efficient smt solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS, Lecture Notes in Computer Science, vol. 4963, pp. 337\u2013340. Springer (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"303_CR23","doi-asserted-by":"crossref","unstructured":"Ongtang, M., McLaughlin, S., Enck, W., McDaniel, P.: Semantically rich application-centric security in android. In: Proceedings of the 2009 Computer Security Applications Conference, ACSAC \u201909, pp. 340\u2013349 (2009)","DOI":"10.1109\/ACSAC.2009.39"},{"key":"303_CR24","unstructured":"OWASP: Owasp testing guide v3.0 project (2003). http:\/\/www.owasp.org\/index.php\/Category:OWASP_Testing_Project#OWASP_Testing_Guide_v3"},{"key":"303_CR25","unstructured":"Sen, K.: Generating optimal monitors for extended regular expressions. In: Proceedings of the 3rd Workshop on Runtime Verification (RV03), volume 89 of ENTCS, pp. 162\u2013181. Elsevier, Science (2003)"},{"key":"303_CR26","doi-asserted-by":"crossref","unstructured":"Wei, X., Gomez, L., Neamtiu, I., Faloutsos, M.: Profiledroid: multi-layer profiling of android applications. In: Proceedings of the 18th annual international conference on Mobile computing and networking. Mobicom \u201912, pp. 137\u2013148. ACM, New York (2012)","DOI":"10.1145\/2348543.2348563"},{"key":"303_CR27","unstructured":"Zafimiharisoa, S.R., Salva, S., Laurentot, P.: An automatic security testing approach of android applications. In: The 7th International Conference on Software Engineering Advances (ICSEA 2012), pp. 643\u2013646. XPS, Lisbon (2012)"},{"key":"303_CR28","doi-asserted-by":"crossref","unstructured":"Zhong, J., Huang, J., Liang, B.: Android permission re-delegation detection and test case generation. In: International Conference on Computer Science Service System (CSSS), pp. 871\u2013874 (2012)","DOI":"10.1109\/CSSS.2012.222"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0303-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0303-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0303-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T22:59:22Z","timestamp":1746140362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0303-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,27]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["303"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0303-8","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2,27]]}}}