{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T02:35:01Z","timestamp":1778898901768,"version":"3.51.4"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031646256","type":"print"},{"value":"9783031646263","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-64626-3_9","type":"book-chapter","created":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T13:01:58Z","timestamp":1720875718000},"page":"146-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Finding Deep-Hidden Bugs in\u00a0Android Apps via\u00a0Functional Semantics Guided Exploration"],"prefix":"10.1007","author":[{"given":"Siyi","family":"Gu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoqiang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bochun","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baiyan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lizhi","family":"Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hu","family":"Yun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,14]]},"reference":[{"key":"9_CR1","unstructured":"Ui\/application exerciser monkey (2022). https:\/\/developer.android.com\/studio\/test\/monkey"},{"key":"9_CR2","unstructured":"Android debug bridge (2023). https:\/\/developer.android.com\/studio\/command-line\/adb"},{"key":"9_CR3","unstructured":"Logcat command-line tool (2023). https:\/\/developer.android.com\/studio\/command-line\/logcat"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Adamo, D., Khan, M.K., Koppula, S., Bryce, R.: Reinforcement learning for android GUI testing. In: Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, pp. 2\u20138 (2018)","DOI":"10.1145\/3278186.3278187"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Amalfitano, D., Amatucci, N., Fasolino, A.R., Tramontana, P.: Agrippin: a novel search based testing technique for android applications. In: Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile, pp. 5\u201312 (2015)","DOI":"10.1145\/2804345.2804348"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Amalfitano, D., Fasolino, A.R., Tramontana, P., De\u00a0Carmine, S., Memon, A.M.: Using GUI ripping for automated testing of android applications. In: Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering, pp. 258\u2013261 (2012)","DOI":"10.1145\/2351676.2351717"},{"issue":"5","key":"9_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/MS.2014.55","volume":"32","author":"D Amalfitano","year":"2015","unstructured":"Amalfitano, D., Fasolino, A.R., Tramontana, P., Ta, B.D., Memon, A.M.: Mobiguitar: automated model-based testing of mobile apps. IEEE Softw. 32(5), 53\u201359 (2015). https:\/\/doi.org\/10.1109\/MS.2014.55","journal-title":"IEEE Softw."},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/stvr.1486","volume":"24","author":"A Arcuri","year":"2014","unstructured":"Arcuri, A., Briand, L.: A hitchhiker\u2019s guide to statistical tests for assessing randomized algorithms in software engineering. Softw. Test. Verif. Reliab. 24(3), 219\u2013250 (2014)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Azim, T., Neamtiu, I.: Targeted and depth-first exploration for systematic testing of android apps. In: Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, pp. 641\u2013660 (2013)","DOI":"10.1145\/2509136.2509549"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Baek, Y.M., Bae, D.H.: Automated model-based android GUI testing using multi-level GUI comparison criteria. In: Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, pp. 238\u2013249 (2016)","DOI":"10.1145\/2970276.2970313"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Cai, T., Zhang, Z., Yang, P.: Fastbot: a multi-agent model-based test generation system Beijing Bytedance network technology co., ltd. In: Proceedings of the IEEE\/ACM 1st International Conference on Automation of Software Test, pp. 93\u201396 (2020)","DOI":"10.1145\/3387903.3389308"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Dong, Z., B\u00f6hme, M., Cojocaru, L., Roychoudhury, A.: Time-travel testing of android apps. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, pp. 481\u2013492 (2020)","DOI":"10.1145\/3377811.3380402"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Gu, T., et al.: Practical GUI testing of android applications via model abstraction and refinement. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), pp. 269\u2013280. IEEE (2019)","DOI":"10.1109\/ICSE.2019.00042"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Guo, H., Liu, X., Li, B., Cai, L., Hu, Y., Cao, J.: Sqdroid: a semantic-driven testing for android apps via q-learning. In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS), pp. 301\u2013310. IEEE (2021)","DOI":"10.1109\/QRS54544.2021.00041"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Guo, H., Su, T., Liu, X., Gu, S., Sun, J.: Effectively finding ICC-related bugs in android apps via reinforcement learning. In: 34th IEEE International Symposium on Software Reliability Engineering (ISSRE) (2023)","DOI":"10.1109\/ISSRE59848.2023.00032"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Hu, C., Neamtiu, I.: Automating GUI testing for android applications. In: Proceedings of the 6th International Workshop on Automation of Software Test, pp. 77\u201383 (2011)","DOI":"10.1145\/1982595.1982612"},{"key":"9_CR17","unstructured":"KG, M.G..C., Contributors: Jacoco - java code coverage library (2019). https:\/\/www.jacoco.org\/jacoco\/trunk\/index.html. Accessed 7 Aug 2019"},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/TR.2018.2865733","volume":"68","author":"P Kong","year":"2018","unstructured":"Kong, P., Li, L., Gao, J., Liu, K., Bissyand\u00e9, T.F., Klein, J.: Automated testing of android apps: a systematic literature review. IEEE Trans. Reliab. 68(1), 45\u201366 (2018)","journal-title":"IEEE Trans. Reliab."},{"key":"9_CR19","unstructured":"Koroglu, Y., Sen, A.: Reinforcement learning-driven test generation for android GUI applications using formal specifications. arXiv preprint arXiv:1911.05403 (2019)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Koroglu, Y., et al.: QBE: qlearning-based exploration of android applications. In: 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), pp. 105\u2013115. IEEE (2018)","DOI":"10.1109\/ICST.2018.00020"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Lan, Y., et al.: Deeply reinforcing android GUI testing with deep reinforcement learning. In: Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering, pp. 1\u201313 (2024)","DOI":"10.1145\/3597503.3623344"},{"key":"9_CR22","unstructured":"Li, Y., Yang, Z., Guo, Y., Chen, X.: Droidbot: a lightweight UI-guided test input generator for android. In: 2017 IEEE\/ACM 39th International Conference on Software Engineering Companion (ICSE-C), pp. 23\u201326. IEEE (2017)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Li, Y., Yang, Z., Guo, Y., Chen, X.: Humanoid: a deep learning-based approach to automated black-box android app testing. In: 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 1070\u20131073. IEEE (2019)","DOI":"10.1109\/ASE.2019.00104"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Lv, Z., Peng, C., Zhang, Z., Su, T., Liu, K., Yang, P.: Fastbot2: reusable automated model-based GUI testing for android enhanced by reinforcement learning. In: Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering, pp.\u00a01\u20135 (2022)","DOI":"10.1145\/3551349.3559505"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Machiry, A., Tahiliani, R., Naik, M.: Dynodroid: an input generation system for android apps. In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, pp. 224\u2013234 (2013)","DOI":"10.1145\/2491411.2491450"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Mahmood, R., Mirzaei, N., Malek, S.: Evodroid: segmented evolutionary testing of android apps. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 599\u2013609 (2014)","DOI":"10.1145\/2635868.2635896"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Mao, K., Harman, M., Jia, Y.: Sapienz: multi-objective automated testing for android applications. In: Proceedings of the 25th International Symposium on Software Testing and Analysis, pp. 94\u2013105 (2016)","DOI":"10.1145\/2931037.2931054"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Mariani, L., Pezz\u00e8, M., Zuddas, D.: Augusto: exploiting popular functionalities for the generation of semantic GUI tests with oracles. In: Proceedings of the 40th International Conference on Software Engineering, pp. 280\u2013290 (2018)","DOI":"10.1145\/3180155.3180162"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Nguyen, C.D., Marchetto, A., Tonella, P.: Combining model-based and combinatorial testing for effective test case generation. In: Proceedings of the 2012 International Symposium on Software Testing and Analysis, pp. 100\u2013110 (2012)","DOI":"10.1145\/2338965.2336765"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Pan, M., Huang, A., Wang, G., Zhang, T., Li, X.: Reinforcement learning based curiosity-driven testing of android applications. In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 153\u2013164 (2020)","DOI":"10.1145\/3395363.3397354"},{"issue":"4","key":"9_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3502868","volume":"31","author":"A Romdhana","year":"2022","unstructured":"Romdhana, A., Merlo, A., Ceccato, M., Tonella, P.: Deep reinforcement learning for black-box testing of android apps. ACM Trans. Softw. Eng. Methodol. (TOSEM) 31(4), 1\u201329 (2022)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Su, T., et al.: Guided, stochastic model-based GUI testing of android apps. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, pp. 245\u2013256 (2017)","DOI":"10.1145\/3106237.3106298"},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Sun, J., Su, T., Jiang, J., Wang, J., Pu, G., Su, Z.: Property-based fuzzing for finding data manipulation errors in android apps. In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE \u201923). ACM (2023)","DOI":"10.1145\/3611643.3616286"},{"key":"9_CR34","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction. MIT Press, Cambridge (2018)"},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"Vuong, T.A.T., Takada, S.: A reinforcement learning based approach to automated testing of android applications. In: Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, pp. 31\u201337 (2018)","DOI":"10.1145\/3278186.3278191"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"Wang, J., Jiang, Y., Xu, C., Cao, C., Ma, X., Lu, J.: Combodroid: generating high-quality test inputs for android apps via use case combinations. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, pp. 469\u2013480 (2020)","DOI":"10.1145\/3377811.3380382"},{"key":"9_CR37","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF00992698","volume":"8","author":"CJ Watkins","year":"1992","unstructured":"Watkins, C.J., Dayan, P.: Q-learning. Mach. Learn. 8, 279\u2013292 (1992)","journal-title":"Mach. Learn."},{"key":"9_CR38","doi-asserted-by":"crossref","unstructured":"Zhang, J., Sagar, S., Shihab, E.: The evolution of mobile apps: an exploratory study. In: Proceedings of the 2013 International Workshop on Software Development Lifecycle for Mobile, pp. 1\u20138 (2013)","DOI":"10.1145\/2501553.2501554"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64626-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T16:16:50Z","timestamp":1741796210000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64626-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031646256","9783031646263"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64626-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"14 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Theoretical Aspects of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Guiyang","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tase2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/tase2024.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}