{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T00:31:18Z","timestamp":1772411478568,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728565","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:09:27Z","timestamp":1753729767000},"page":"422-431","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["HapTest: The Dynamic Analysis Framework for OpenHarmony"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-3044-4625","authenticated-orcid":false,"given":"Farong","family":"Liu","sequence":"first","affiliation":[{"name":"Beihang University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3514-0372","authenticated-orcid":false,"given":"Mingyi","family":"Zhou","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-2377-3114","authenticated-orcid":false,"given":"Yakun","family":"Zhang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1628-9796","authenticated-orcid":false,"given":"Ting","family":"Su","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-1960-3503","authenticated-orcid":false,"given":"Bo","family":"Sun","sequence":"additional","affiliation":[{"name":"Huawei, Wuhan, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4052-475X","authenticated-orcid":false,"given":"Jacques","family":"Klein","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg, Luxembourg"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9895-4600","authenticated-orcid":false,"given":"Xiang","family":"Gao","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2990-1614","authenticated-orcid":false,"given":"Li","family":"Li","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering. 258\u2013261","author":"Amalfitano Domenico","year":"2012","unstructured":"Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Salvatore De Carmine, and Atif M Memon. 2012. Using GUI ripping for automated testing of Android applications. In Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering. 258\u2013261."},{"key":"e_1_3_2_1_2_1","volume-title":"Porfirio Tramontana, Bryan Dzung Ta, and Atif M Memon.","author":"Amalfitano Domenico","year":"2014","unstructured":"Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Bryan Dzung Ta, and Atif M Memon. 2014. MobiGUITAR: Automated model-based testing of mobile apps. IEEE software 32, 5 (2014), 53\u201359."},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. 1\u201311","author":"Anand Saswat","year":"2012","unstructured":"Saswat Anand, Mayur Naik, Mary Jean Harrold, and Hongseok Yang. 2012. Automated concolic testing of smartphone apps. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. 1\u201311."},{"key":"e_1_3_2_1_4_1","unstructured":"ausboyue. 2024. Wechat HarmonyOS. https:\/\/github.com\/ausboyue\/Wechat_HarmonyOS. Accessed on: 2025-01-01."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications. 641\u2013660","author":"Azim Tanzirul","year":"2013","unstructured":"Tanzirul Azim and Iulian Neamtiu. 2013. 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. 641\u2013660."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering. 238\u2013249","author":"Baek Young-Min","year":"2016","unstructured":"Young-Min Baek and Doo-Hwan Bae. 2016. 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. 238\u2013249."},{"key":"e_1_3_2_1_7_1","unstructured":"Haonan Chen Daihang Chen Yizhuo Yang Lingyun Xu Liang Gao Mingyi Zhou Chunming Hu and Li Li. 2025. ArkAnalyzer: The Static Analysis Framework for OpenHarmony. arXiv:2501.05798 [cs.SE] https:\/\/arxiv.org\/abs\/2501.05798"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering. 2411\u20132414","author":"Chen Yige","year":"2024","unstructured":"Yige Chen, Sinan Wang, Yida Tao, and Yepang Liu. 2024. Model-Based GUI Testing for HarmonyOS Apps. In Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering. 2411\u20132414."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1145\/2544173.2509552","article-title":"Guided gui testing of android apps with minimal restart and approximate learning","volume":"48","author":"Choi Wontae","year":"2013","unstructured":"Wontae Choi, George Necula, and Koushik Sen. 2013. Guided gui testing of android apps with minimal restart and approximate learning. Acm Sigplan Notices 48, 10 (2013), 623\u2013640.","journal-title":"Acm Sigplan Notices"},{"key":"e_1_3_2_1_10_1","unstructured":"HarmonyOS Codelabs. 2024. the official HarmonyOS Codelabs example repository. https:\/\/gitee.com\/harmonyos\/codelabs. Accessed on: 2025-01-01."},{"key":"e_1_3_2_1_11_1","unstructured":"OpenHarmony Community. 2025. OpenHarmony. https:\/\/www.openharmony.cn\/. Accessed: 2025-01-15."},{"key":"e_1_3_2_1_12_1","unstructured":"Wikipedia Contributors. 2024. Remote Procedure Call (RPC). https:\/\/en.wikipedia.org\/wiki\/Remote_procedure_call. Accessed on: 2025-01-01."},{"key":"e_1_3_2_1_13_1","unstructured":"Android Developers. 2024. Android Debug Bridge (adb). https:\/\/developer.android.com\/tools\/adb. Accessed on: 2025-01-01."},{"key":"e_1_3_2_1_14_1","unstructured":"Android Developers. 2024. UI Automator Testing. https:\/\/developer.android.com\/training\/testing\/other-components\/ui-automator. Accessed on: 2025-01-11."},{"key":"e_1_3_2_1_15_1","unstructured":"Android Developers. 2024. UI\/Application Exerciser Monkey. https:\/\/developer.android.com\/studio\/test\/monkey. Accessed on: 2025-01-01."},{"key":"e_1_3_2_1_16_1","unstructured":"HarmonyOS Developers. 2024. HDC (HarmonyOS Device Connector). https:\/\/developer.huawei.com\/consumer\/cn\/doc\/harmonyos-guides-V5\/hdc-V5. Accessed on: 2025-01-01."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering. 481\u2013492","author":"Dong Zhen","year":"2020","unstructured":"Zhen Dong, Marcel B\u00f6hme, Lucia Cojocaru, and Abhik Roychoudhury. 2020. Time-travel testing of android apps. In Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering. 481\u2013492."},{"key":"e_1_3_2_1_18_1","unstructured":"ericple. 2024. oh-bill. https:\/\/gitee.com\/ericple\/oh-bill. Accessed on: 2025-01-01."},{"key":"e_1_3_2_1_19_1","unstructured":"eternaljust. 2024. Msea HarmonyOS. https:\/\/github.com\/eternaljust\/Msea_HarmonyOS. Accessed on: 2025-01-01."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering. 419\u2013429","author":"Gao Xiang","year":"2018","unstructured":"Xiang Gao, Shin Hwei Tan, Zhen Dong, and Abhik Roychoudhury. 2018. Android testing via synthetic symbolic execution. In Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering. 419\u2013429."},{"key":"e_1_3_2_1_21_1","first-page":"110","article-title":"Information flow analysis of android applications in droidsafe","volume":"15","author":"Gordon Michael I","year":"2015","unstructured":"Michael I Gordon, Deokhwan Kim, Jeff H Perkins, Limei Gilham, Nguyen Nguyen, and Martin C Rinard. 2015. Information flow analysis of android applications in droidsafe.. In NDSS, Vol. 15. 110.","journal-title":"NDSS"},{"key":"e_1_3_2_1_22_1","volume-title":"2017 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 103\u2013114","author":"Gu Tianxiao","year":"2017","unstructured":"Tianxiao Gu, Chun Cao, Tianchi Liu, Chengnian Sun, Jing Deng, Xiaoxing Ma, and Jian L\u00fc. 2017. Aimdroid: Activity-insulated multi-level automated testing for android applications. In 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 103\u2013114."},{"key":"e_1_3_2_1_23_1","volume-title":"2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE). IEEE, 269\u2013280","author":"Gu Tianxiao","year":"2019","unstructured":"Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, and Zhendong Su. 2019. Practical GUI testing of Android applications via model abstraction and refinement. In 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE). IEEE, 269\u2013280."},{"key":"e_1_3_2_1_24_1","volume-title":"Huawei Technologies Co","year":"2024","unstructured":"Ltd. Huawei Technologies Co. 2024. DevEco Studio - Integrated Development Environment for HarmonyOS. https:\/\/developer.huawei.com\/consumer\/cn\/deveco-studio\/. Accessed on: 2025-01-11."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/j.infsof.2017.04.001","article-title":"Static analysis of android apps: A systematic literature review","volume":"88","author":"Li Li","year":"2017","unstructured":"Li Li, Tegawend\u00e9 F Bissyand\u00e9, Mike Papadakis, Siegfried Rasthofer, Alexandre Bartel, Damien Octeau, Jacques Klein, and Le Traon. 2017. Static analysis of android apps: A systematic literature review. Information and Software Technology 88 (2017), 67\u201395.","journal-title":"Information and Software Technology"},{"key":"e_1_3_2_1_26_1","unstructured":"Li Li Xiang Gao Hailong Sun Chunming Hu Xiaoyu Sun Haoyu Wang Haipeng Cai Ting Su Xiapu Luo Tegawend\u00e9 F Bissyand\u00e9 et al. 2023. Software engineering for openharmony: A research roadmap. arXiv preprint arXiv:2311.01311 (2023)."},{"key":"e_1_3_2_1_27_1","volume-title":"2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 1070\u20131073","author":"Li Yuanchun","year":"2019","unstructured":"Yuanchun Li, Ziyue Yang, Yao Guo, and Xiangqun Chen. 2019. 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). IEEE, 1070\u20131073."},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering. 1\u201313","author":"Liu Zhe","year":"2024","unstructured":"Zhe Liu, Chunyang Chen, Junjie Wang, Mengzhuo Chen, Boyu Wu, Xing Che, Dandan Wang, and Qing Wang. 2024. Make llm a testing expert: Bringing human-like interaction to mobile gui testing via functionality-aware decisions. In Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering. 1\u201313."},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. 224\u2013234","author":"Machiry Aravind","year":"2013","unstructured":"Aravind Machiry, Rohan Tahiliani, and Mayur Naik. 2013. Dynodroid: An input generation system for android apps. In Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. 224\u2013234."},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. 599\u2013609","author":"Mahmood Riyadh","year":"2014","unstructured":"Riyadh Mahmood, Nariman Mirzaei, and Sam Malek. 2014. Evodroid: Segmented evolutionary testing of android apps. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. 599\u2013609."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 25th international symposium on software testing and analysis. 94\u2013105","author":"Mao Ke","year":"2016","unstructured":"Ke Mao, Mark Harman, and Yue Jia. 2016. Sapienz: Multi-objective automated testing for android applications. In Proceedings of the 25th international symposium on software testing and analysis. 94\u2013105."},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering. 256\u2013267","author":"Memon Atif M","year":"2001","unstructured":"Atif M Memon, Mary Lou Soffa, and Martha E Pollack. 2001. Coverage criteria for GUI testing. In Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering. 256\u2013267."},{"key":"e_1_3_2_1_33_1","volume-title":"2016 IEEE international conference on software testing, verification and validation (icst). IEEE, 33\u201344","author":"Moran Kevin","year":"2016","unstructured":"Kevin Moran, Mario Linares-V\u00e1squez, Carlos Bernal-C\u00e1rdenas, Christopher Vendome, and Denys Poshyvanyk. 2016. Automatically discovering, reporting and reproducing android application crashes. In 2016 IEEE international conference on software testing, verification and validation (icst). IEEE, 33\u201344."},{"key":"e_1_3_2_1_34_1","volume-title":"2017 IEEE\/ACM 39th international conference on software engineering companion (ICSE-C). IEEE, 15\u201318","author":"Moran Kevin","year":"2017","unstructured":"Kevin Moran, Mario Linares-V\u00e1squez, Carlos Bernal-C\u00e1rdenas, Christopher Vendome, and Denys Poshyvanyk. 2017. Crashscope: A practical tool for automated testing of android applications. In 2017 IEEE\/ACM 39th international conference on software engineering companion (ICSE-C). IEEE, 15\u201318."},{"key":"e_1_3_2_1_35_1","unstructured":"OpenHarmony. 2025. Stage Model Development Overview. https:\/\/docs.openharmony.cn\/pages\/v5.0\/zh-cn\/application-dev\/application-models\/stage-model-development-overview.md. Accessed on: 2025-01-15."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2996358","article-title":"* droid: Assessment and evaluation of android application analysis tools","volume":"49","author":"Reaves Bradley","year":"2016","unstructured":"Bradley Reaves, Jasmine Bowers, Sigmund Albert Gorski III, Olabode Anise, Rahul Bobhate, Raymond Cho, Hiranava Das, Sharique Hussain, Hamza Karachiwala, Nolen Scaife, et al. 2016. * droid: Assessment and evaluation of android application analysis tools. ACM Computing Surveys (CSUR) 49, 3 (2016), 1\u201330.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"e_1_3_2_1_37_1","volume-title":"2021 14th IEEE conference on software testing, verification and validation (ICST). IEEE, 417\u2013423","author":"Romdhana Andrea","year":"2021","unstructured":"Andrea Romdhana, Mariano Ceccato, Gabriel Claudiu Georgiu, Alessio Merlo, and Paolo Tonella. 2021. Cosmo: Code coverage made easier for android. In 2021 14th IEEE conference on software testing, verification and validation (ICST). IEEE, 417\u2013423."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, Debugging, and Analytics (PERTEA). 1\u20135.","author":"Sasnauskas Raimondas","year":"2014","unstructured":"Raimondas Sasnauskas and John Regehr. 2014. Intent fuzzer: crafting intents of death. In Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, Debugging, and Analytics (PERTEA). 1\u20135."},{"key":"e_1_3_2_1_39_1","volume-title":"2015 IEEE 29th International Conference on Advanced Information Networking and Applications. IEEE, 571\u2013578","author":"Sch\u00fctte Julian","year":"2015","unstructured":"Julian Sch\u00fctte, Rafael Fedler, and Dennis Titze. 2015. Condroid: Targeted dynamic analysis of android applications. In 2015 IEEE 29th International Conference on Advanced Information Networking and Applications. IEEE, 571\u2013578."},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 2017 11th joint meeting on foundations of software engineering. 245\u2013256","author":"Su Ting","year":"2017","unstructured":"Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su. 2017. Guided, stochastic model-based GUI testing of Android apps. In Proceedings of the 2017 11th joint meeting on foundations of software engineering. 245\u2013256."},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). 119\u2013130","author":"Su Ting","year":"2021","unstructured":"Ting Su, Jue Wang, and Zhendong Su. 2021. Benchmarking automated GUI testing for Android against real-world bugs. In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). 119\u2013130."},{"key":"e_1_3_2_1_42_1","first-page":"1","article-title":"Taming reflection: An essential step toward whole-program analysis of android apps","volume":"30","author":"Sun Xiaoyu","year":"2021","unstructured":"Xiaoyu Sun, Li Li, Tegawend\u00e9 F Bissyand\u00e9, Jacques Klein, Damien Octeau, and John Grundy. 2021. Taming reflection: An essential step toward whole-program analysis of android apps. ACM Transactions on Software Engineering and Methodology (TOSEM) 30, 3 (2021), 1\u201336.","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3017427","article-title":"The evolution of android malware and android analysis techniques","volume":"49","author":"Tam Kimberly","year":"2017","unstructured":"Kimberly Tam, Ali Feizollah, Nor Badrul Anuar, Rosli Salleh, and Lorenzo Cavallaro. 2017. The evolution of android malware and android analysis techniques. ACM Computing Surveys (CSUR) 49, 4 (2017), 1\u201341.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"e_1_3_2_1_44_1","unstructured":"Gitee Team. 2024. Gitee - Git-based Code Hosting Platform. https:\/\/gitee.com\/. Accessed on: 2025-01-11."},{"key":"e_1_3_2_1_45_1","unstructured":"HarmonyOS Codelabs Team. 2024. OxHorn Campus - HarmonyOS Sample Application. https:\/\/gitee.com\/harmonyos_codelabs\/OxHornCampus. Accessed on: 2025-01-11."},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the 30th Annual International Conference on Mobile Computing and Networking. 543\u2013557","author":"Wen Hao","year":"2024","unstructured":"Hao Wen, Yuanchun Li, Guohong Liu, Shanhui Zhao, Tao Yu, Toby Jia-Jun Li, Shiqi Jiang, Yunhao Liu, Yaqin Zhang, and Yunxin Liu. 2024. Autodroid: Llm-powered task automation in android. In Proceedings of the 30th Annual International Conference on Mobile Computing and Networking. 543\u2013557."},{"key":"e_1_3_2_1_47_1","first-page":"21","article-title":"Intellidroid: a targeted input generator for the dynamic analysis of android malware","volume":"16","author":"Wong Michelle Y","year":"2016","unstructured":"Michelle Y Wong and David Lie. 2016. Intellidroid: a targeted input generator for the dynamic analysis of android malware.. In NDSS, Vol. 16. 21\u201324.","journal-title":"NDSS"},{"key":"e_1_3_2_1_48_1","volume-title":"2017 IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE, 42\u201353","author":"Yan Jiwei","year":"2017","unstructured":"Jiwei Yan, Tianyong Wu, Jun Yan, and Jian Zhang. 2017. Widget-sensitive and back-stack-aware GUI exploration for testing android apps. In 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE, 42\u201353."},{"key":"e_1_3_2_1_49_1","volume-title":"2014 IEEE Eighth International Conference on Software Security and Reliability-Companion. IEEE, 140\u2013148","author":"Yeh Chao Chun","year":"2014","unstructured":"Chao Chun Yeh, Han Lin Lu, Chun Yen Chen, Kee Kiat Khor, and Shih Kun Huang. 2014. Craxdroid: Automatic android system testing by selective symbolic execution. In 2014 IEEE Eighth International Conference on Software Security and Reliability-Companion. IEEE, 140\u2013148."},{"key":"e_1_3_2_1_50_1","volume-title":"2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE). IEEE, 128\u2013139","author":"Zhao Yu","year":"2019","unstructured":"Yu Zhao, Tingting Yu, Ting Su, Yang Liu, Wei Zheng, Jingzhi Zhang, and William GJ Halfond. 2019. Recdroid: automatically reproducing android application crashes from bug reports. In 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE). IEEE, 128\u2013139."}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:12:32Z","timestamp":1753729952000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728565"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":50,"alternative-id":["10.1145\/3696630.3728565","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728565","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}