{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T13:06:50Z","timestamp":1775912810584,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":81,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598033","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["CydiOS: A Model-Based Testing Framework for iOS Apps"],"prefix":"10.1145","author":[{"given":"Shuohan","family":"Wu","sequence":"first","affiliation":[{"name":"Hong Kong Polytechnic University, China"}]},{"given":"Jianfeng","family":"Li","sequence":"additional","affiliation":[{"name":"Xi\u2019an Jiaotong University, China"}]},{"given":"Hao","family":"Zhou","sequence":"additional","affiliation":[{"name":"Hong Kong Polytechnic University, China"}]},{"given":"Yongsheng","family":"Fang","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, China"}]},{"given":"Kaifa","family":"Zhao","sequence":"additional","affiliation":[{"name":"Hong Kong Polytechnic University, China"}]},{"given":"Haoyu","family":"Wang","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, China"}]},{"given":"Chenxiong","family":"Qian","sequence":"additional","affiliation":[{"name":"University of Hong Kong, China"}]},{"given":"Xiapu","family":"Luo","sequence":"additional","affiliation":[{"name":"Hong Kong Polytechnic University, China"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2022. A jailbreak detection bypass for modern iOS jailbreaks.. https:\/https:\/\/github.com\/jjolano\/shadow\/ \t\t\t\t  2022. A jailbreak detection bypass for modern iOS jailbreaks.. https:\/https:\/\/github.com\/jjolano\/shadow\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2022. A lightweight and modular front-end framework for developing fast and powerful web interfaces. https:\/\/getuikit.com\/ \t\t\t\t  2022. A lightweight and modular front-end framework for developing fast and powerful web interfaces. https:\/\/getuikit.com\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2022. addAction. https:\/\/developer.apple.com\/documentation\/uikit\/uialertcontroller\/1620094-addaction \t\t\t\t  2022. addAction. https:\/\/developer.apple.com\/documentation\/uikit\/uialertcontroller\/1620094-addaction"},{"key":"e_1_3_2_1_4_1","unstructured":"2022. Android Debug Bridge (adb). https:\/\/developer.android.com\/studio\/command-line\/adb \t\t\t\t  2022. Android Debug Bridge (adb). https:\/\/developer.android.com\/studio\/command-line\/adb"},{"key":"e_1_3_2_1_5_1","unstructured":"2022. App Review. https:\/\/developer.apple.com\/app-store\/review\/ \t\t\t\t  2022. App Review. https:\/\/developer.apple.com\/app-store\/review\/"},{"key":"e_1_3_2_1_6_1","unstructured":"2022. Apple Developer Forums. https:\/\/developer.apple.com\/forums\/ \t\t\t\t  2022. Apple Developer Forums. https:\/\/developer.apple.com\/forums\/"},{"key":"e_1_3_2_1_7_1","unstructured":"2022. Brief discussion about iOS swizzle. https:\/\/juejin.cn\/post\/6844903856497754126 \t\t\t\t  2022. Brief discussion about iOS swizzle. https:\/\/juejin.cn\/post\/6844903856497754126"},{"key":"e_1_3_2_1_8_1","unstructured":"2022. checkra. https:\/\/checkra.in\/ \t\t\t\t  2022. checkra. https:\/\/checkra.in\/"},{"key":"e_1_3_2_1_9_1","unstructured":"2022. class-dump: Generate Objective-C headers from Mach-O files.. https:\/\/github.com\/nygard\/class-dump \t\t\t\t  2022. class-dump: Generate Objective-C headers from Mach-O files.. https:\/\/github.com\/nygard\/class-dump"},{"key":"e_1_3_2_1_10_1","unstructured":"2022. Collaborative List of Open-Source iOS Apps. https:\/\/github.com\/dkhamsing\/open-source-ios-apps \t\t\t\t  2022. Collaborative List of Open-Source iOS Apps. https:\/\/github.com\/dkhamsing\/open-source-ios-apps"},{"key":"e_1_3_2_1_11_1","unstructured":"2022. Current ChildView Controller. https:\/\/stackoverflow.com\/questions\/14405490\/current-childview-controller\/ \t\t\t\t  2022. Current ChildView Controller. https:\/\/stackoverflow.com\/questions\/14405490\/current-childview-controller\/"},{"key":"e_1_3_2_1_12_1","unstructured":"2022. Cydia Substrate. http:\/\/www.cydiasubstrate.com\/ \t\t\t\t  2022. Cydia Substrate. http:\/\/www.cydiasubstrate.com\/"},{"key":"e_1_3_2_1_13_1","unstructured":"2022. Detect if iOS App is written in Swift. https:\/\/stackoverflow.com\/questions\/32882208\/detect-if-ios-app-is-written-in-swift \t\t\t\t  2022. Detect if iOS App is written in Swift. https:\/\/stackoverflow.com\/questions\/32882208\/detect-if-ios-app-is-written-in-swift"},{"key":"e_1_3_2_1_14_1","unstructured":"2022. Dynamic instrumentation toolkit for developers reverse-engineers and security researchers.. https:\/\/frida.re\/ \t\t\t\t  2022. Dynamic instrumentation toolkit for developers reverse-engineers and security researchers.. https:\/\/frida.re\/"},{"key":"e_1_3_2_1_15_1","unstructured":"2022. Facebook WebDriverAgent. https:\/\/github.com\/facebookarchive\/WebDriverAgent\/ \t\t\t\t  2022. Facebook WebDriverAgent. https:\/\/github.com\/facebookarchive\/WebDriverAgent\/"},{"key":"e_1_3_2_1_16_1","unstructured":"2022. Fastmonkey. https:\/\/github.com\/zhangzhao4444\/Fastmonkey.git \t\t\t\t  2022. Fastmonkey. https:\/\/github.com\/zhangzhao4444\/Fastmonkey.git"},{"key":"e_1_3_2_1_17_1","volume-title":"Global Premium Smartphone Market Sales Reach Highest Ever","year":"2021","unstructured":"2022. Global Premium Smartphone Market Sales Reach Highest Ever in 2021 . https:\/\/www.counterpointresearch.com\/global-premium-smartphone-market-2021\/ 2022. Global Premium Smartphone Market Sales Reach Highest Ever in 2021. https:\/\/www.counterpointresearch.com\/global-premium-smartphone-market-2021\/"},{"key":"e_1_3_2_1_18_1","unstructured":"2022. How to view crash reports in XCode.. https:\/\/stackoverflow.com\/questions\/69123921\/how-to-view-crash-reports-in-xcode \t\t\t\t  2022. How to view crash reports in XCode.. https:\/\/stackoverflow.com\/questions\/69123921\/how-to-view-crash-reports-in-xcode"},{"key":"e_1_3_2_1_19_1","unstructured":"2022. introduction to ios test automation with xcuitest. https:\/\/testautomationu.applitools.com\/introduction-to-ios-test-automation-with-xcuitest\/chapter1.html\/ \t\t\t\t  2022. introduction to ios test automation with xcuitest. https:\/\/testautomationu.applitools.com\/introduction-to-ios-test-automation-with-xcuitest\/chapter1.html\/"},{"key":"e_1_3_2_1_20_1","unstructured":"2022. iOS App Dev Tutorials. https:\/\/developer.apple.com\/tutorials\/app-dev-training\/ \t\t\t\t  2022. iOS App Dev Tutorials. https:\/\/developer.apple.com\/tutorials\/app-dev-training\/"},{"key":"e_1_3_2_1_21_1","unstructured":"2022. iOS Interface Builder utility implemented in python.. https:\/\/github.com\/davidquesada\/ibtool \t\t\t\t  2022. iOS Interface Builder utility implemented in python.. https:\/\/github.com\/davidquesada\/ibtool"},{"key":"e_1_3_2_1_22_1","unstructured":"2022. iOS UIWindow. https:\/\/developer.apple.com\/documentation\/uikit\/uiwindow \t\t\t\t  2022. iOS UIWindow. https:\/\/developer.apple.com\/documentation\/uikit\/uiwindow"},{"key":"e_1_3_2_1_23_1","volume-title":"iPhone Users and Sales Stats for","year":"2022","unstructured":"2022. iPhone Users and Sales Stats for 2022 . https:\/\/backlinko.com\/iphone-users\/ 2022. iPhone Users and Sales Stats for 2022. https:\/\/backlinko.com\/iphone-users\/"},{"key":"e_1_3_2_1_24_1","unstructured":"2022. Jailbreak Downloads. https:\/\/theideviceblog.com\/jailbreak-downloads\/ \t\t\t\t  2022. Jailbreak Downloads. https:\/\/theideviceblog.com\/jailbreak-downloads\/"},{"key":"e_1_3_2_1_25_1","unstructured":"2022. objc_msgsend. https:\/\/developer.apple.com\/documentation\/objectivec\/1456712-objc_msgsend \t\t\t\t  2022. objc_msgsend. https:\/\/developer.apple.com\/documentation\/objectivec\/1456712-objc_msgsend"},{"key":"e_1_3_2_1_26_1","unstructured":"2022. Programming with Objective-C: About Objective-C. https:\/\/developer.apple.com\/library\/archive\/documentation\/Cocoa\/Conceptual\/ProgrammingWithObjectiveC\/Introduction\/Introduction.html \t\t\t\t  2022. Programming with Objective-C: About Objective-C. https:\/\/developer.apple.com\/library\/archive\/documentation\/Cocoa\/Conceptual\/ProgrammingWithObjectiveC\/Introduction\/Introduction.html"},{"key":"e_1_3_2_1_27_1","unstructured":"2022. Simulate touch events for iOS User mode. https:\/\/github.com\/Ret70\/PTFakeTouch \t\t\t\t  2022. Simulate touch events for iOS User mode. https:\/\/github.com\/Ret70\/PTFakeTouch"},{"key":"e_1_3_2_1_28_1","unstructured":"2022. Swift. Method Dispatch. https:\/\/maxim-kryloff.medium.com\/swift-method-dispatch-4ac7efab0388 \t\t\t\t  2022. Swift. Method Dispatch. https:\/\/maxim-kryloff.medium.com\/swift-method-dispatch-4ac7efab0388"},{"key":"e_1_3_2_1_29_1","unstructured":"2022. SwiftMonkey: A framework for doing randomised UI testing of iOS apps. https:\/\/github.com\/zalando\/SwiftMonkey\/ \t\t\t\t  2022. SwiftMonkey: A framework for doing randomised UI testing of iOS apps. https:\/\/github.com\/zalando\/SwiftMonkey\/"},{"key":"e_1_3_2_1_30_1","unstructured":"2022. Testing with Xcode Code Coverage. https:\/\/developer.apple.com\/library\/archive\/documentation\/DeveloperTools\/Conceptual\/testing_with_xcode\/chapters\/07-code_coverage.html \t\t\t\t  2022. Testing with Xcode Code Coverage. https:\/\/developer.apple.com\/library\/archive\/documentation\/DeveloperTools\/Conceptual\/testing_with_xcode\/chapters\/07-code_coverage.html"},{"key":"e_1_3_2_1_31_1","unstructured":"2022. The Right Way to Swizzle in Objective-C. https:\/\/newrelic.com\/blog\/best-practices\/right-way-to-swizzle \t\t\t\t  2022. The Right Way to Swizzle in Objective-C. https:\/\/newrelic.com\/blog\/best-practices\/right-way-to-swizzle"},{"key":"e_1_3_2_1_32_1","unstructured":"2022. The UIAutomation Driver for iOS. http:\/\/appium.io\/docs\/en\/drivers\/ios-uiautomation\/ \t\t\t\t  2022. The UIAutomation Driver for iOS. http:\/\/appium.io\/docs\/en\/drivers\/ios-uiautomation\/"},{"key":"e_1_3_2_1_33_1","unstructured":"2022. The View Controller Hierarchy. https:\/\/developer.apple.com\/library\/archive\/featuredarticles\/ViewControllerPGforiPhoneOS\/TheViewControllerHierarchy.html \t\t\t\t  2022. The View Controller Hierarchy. https:\/\/developer.apple.com\/library\/archive\/featuredarticles\/ViewControllerPGforiPhoneOS\/TheViewControllerHierarchy.html"},{"key":"e_1_3_2_1_34_1","unstructured":"2022. The XCUITest Driver for iOS. https:\/\/appium.io\/docs\/en\/drivers\/ios-xcuitest\/ \t\t\t\t  2022. The XCUITest Driver for iOS. https:\/\/appium.io\/docs\/en\/drivers\/ios-xcuitest\/"},{"key":"e_1_3_2_1_35_1","unstructured":"2022. theos framework. https:\/\/github.com\/theos\/theos \t\t\t\t  2022. theos framework. https:\/\/github.com\/theos\/theos"},{"key":"e_1_3_2_1_36_1","unstructured":"2022. UINavigationController. https:\/\/developer.apple.com\/documentation\/uikit\/uinavigationcontroller \t\t\t\t  2022. UINavigationController. https:\/\/developer.apple.com\/documentation\/uikit\/uinavigationcontroller"},{"key":"e_1_3_2_1_37_1","unstructured":"2022. UITabBarController. https:\/\/developer.apple.com\/documentation\/uikit\/uitabbarcontroller \t\t\t\t  2022. UITabBarController. https:\/\/developer.apple.com\/documentation\/uikit\/uitabbarcontroller"},{"key":"e_1_3_2_1_38_1","unstructured":"2022. UIViewController presentedviewcontroller. https:\/\/developer.apple.com\/documentation\/uikit\/uiviewcontroller\/1621407-presentedviewcontroller \t\t\t\t  2022. UIViewController presentedviewcontroller. https:\/\/developer.apple.com\/documentation\/uikit\/uiviewcontroller\/1621407-presentedviewcontroller"},{"key":"e_1_3_2_1_39_1","unstructured":"2022. Understanding Navigation in iOS. https:\/\/guides.codepath.com\/ios\/Understanding-Navigation-in-iOS \t\t\t\t  2022. Understanding Navigation in iOS. https:\/\/guides.codepath.com\/ios\/Understanding-Navigation-in-iOS"},{"key":"e_1_3_2_1_40_1","unstructured":"2022. Understanding Windows and Screens. https:\/\/developer.apple.com\/library\/archive\/documentation\/WindowsViews\/Conceptual\/WindowAndScreenGuide\/WindowScreenRolesinApp\/WindowScreenRolesinApp.html \t\t\t\t  2022. Understanding Windows and Screens. https:\/\/developer.apple.com\/library\/archive\/documentation\/WindowsViews\/Conceptual\/WindowAndScreenGuide\/WindowScreenRolesinApp\/WindowScreenRolesinApp.html"},{"key":"e_1_3_2_1_41_1","unstructured":"2022. Unicorn Engine Introduction. https:\/\/ctf-wiki.mahaloz.re\/reverse\/unicorn\/introduction\/ \t\t\t\t  2022. Unicorn Engine Introduction. https:\/\/ctf-wiki.mahaloz.re\/reverse\/unicorn\/introduction\/"},{"key":"e_1_3_2_1_42_1","unstructured":"2022. Using Segues. https:\/\/developer.android.com\/studio\/test\/other-testing-tools\/monkey \t\t\t\t  2022. Using Segues. https:\/\/developer.android.com\/studio\/test\/other-testing-tools\/monkey"},{"key":"e_1_3_2_1_43_1","unstructured":"2022. Using Segues. https:\/\/developer.apple.com\/library\/archive\/featuredarticles\/ViewControllerPGforiPhoneOS\/UsingSegues.html \t\t\t\t  2022. Using Segues. https:\/\/developer.apple.com\/library\/archive\/featuredarticles\/ViewControllerPGforiPhoneOS\/UsingSegues.html"},{"key":"e_1_3_2_1_44_1","unstructured":"2022. Write automated tests with UI Automator.. https:\/\/developer.android.com\/training\/testing\/other-components\/ui-automator \t\t\t\t  2022. Write automated tests with UI Automator.. https:\/\/developer.android.com\/training\/testing\/other-components\/ui-automator"},{"key":"e_1_3_2_1_45_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. 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_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509549"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970313"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24723-4_2"},{"key":"e_1_3_2_1_50_1","volume-title":"International Conference on Financial Cryptography and Data Security. 231\u2013249","author":"Carter Patrick","year":"2016","unstructured":"Patrick Carter , Collin Mulliner , Martina Lindorfer , William Robertson , and Engin Kirda . 2016 . Curiousdroid: automated user interface interaction for android application analysis sandboxes . In International Conference on Financial Cryptography and Data Security. 231\u2013249 . Patrick Carter, Collin Mulliner, Martina Lindorfer, William Robertson, and Engin Kirda. 2016. Curiousdroid: automated user interface interaction for android application analysis sandboxes. In International Conference on Financial Cryptography and Data Security. 231\u2013249."},{"key":"e_1_3_2_1_51_1","volume-title":"2016 IEEE Symposium on Security and Privacy (SP). 357\u2013376","author":"Chen Kai","year":"2016","unstructured":"Kai Chen , Xueqiang Wang , Yi Chen , Peng Wang , Yeonjoon Lee , XiaoFeng Wang , Bin Ma , Aohui Wang , Yingjun Zhang , and Wei Zou . 2016 . Following devil\u2019s footprints: Cross-platform analysis of potentially harmful libraries on android and ios . In 2016 IEEE Symposium on Security and Privacy (SP). 357\u2013376 . Kai Chen, Xueqiang Wang, Yi Chen, Peng Wang, Yeonjoon Lee, XiaoFeng Wang, Bin Ma, Aohui Wang, Yingjun Zhang, and Wei Zou. 2016. Following devil\u2019s footprints: Cross-platform analysis of potentially harmful libraries on android and ios. In 2016 IEEE Symposium on Security and Privacy (SP). 357\u2013376."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509552"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813675"},{"key":"e_1_3_2_1_54_1","unstructured":"Manuel Egele Christopher Kruegel Engin Kirda and Giovanni Vigna. 2011. PiOS: Detecting Privacy Leaks in iOS Applications.. In NDSS. 177\u2013183. \t\t\t\t  Manuel Egele Christopher Kruegel Engin Kirda and Giovanni Vigna. 2011. PiOS: Detecting Privacy Leaks in iOS Applications.. In NDSS. 177\u2013183."},{"key":"e_1_3_2_1_55_1","volume-title":"Proceedings of the 11th ACM Conference on Security & Privacy in Wireless and Mobile Networks. 236\u2013247","author":"Feichtner Johannes","year":"2018","unstructured":"Johannes Feichtner , David Missmann , and Raphael Spreitzer . 2018 . Automated Binary Analysis on iOS: A Case Study on Cryptographic Misuse in iOS Applications . In Proceedings of the 11th ACM Conference on Security & Privacy in Wireless and Mobile Networks. 236\u2013247 . Johannes Feichtner, David Missmann, and Raphael Spreitzer. 2018. Automated Binary Analysis on iOS: A Case Study on Cryptographic Misuse in iOS Applications. In Proceedings of the 11th ACM Conference on Security & Privacy in Wireless and Mobile Networks. 236\u2013247."},{"key":"e_1_3_2_1_56_1","volume-title":"2018 33rd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 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 2018 33rd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 419\u2013429 . Xiang Gao, Shin Hwei Tan, Zhen Dong, and Abhik Roychoudhury. 2018. Android testing via synthetic symbolic execution. In 2018 33rd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 419\u2013429."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00042"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"crossref","unstructured":"Vignir Gudmundsson Mikael Lindvall Luca Aceto Johann Bergthorsson and Dharmalingam Ganesan. 2016. Model-based Testing of Mobile Systems\u2013An Empirical Study on QuizUp Android App. arXiv preprint arXiv:1606.00503. \t\t\t\t  Vignir Gudmundsson Mikael Lindvall Luca Aceto Johann Bergthorsson and Dharmalingam Ganesan. 2016. Model-based Testing of Mobile Systems\u2013An Empirical Study on QuizUp Android App. arXiv preprint arXiv:1606.00503.","DOI":"10.4204\/EPTCS.208.2"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594368.2594390"},{"key":"e_1_3_2_1_60_1","volume-title":"Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services. 185\u2013185","author":"Ki Taeyeon","year":"2017","unstructured":"Taeyeon Ki , Alexander Simeonov , Chang Min Park , Karthik Dantu , Steven Y Ko , and Lukasz Ziarek . 2017 . Fully automated ui testing system for large-scale android apps using multiple devices . In Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services. 185\u2013185 . Taeyeon Ki, Alexander Simeonov, Chang Min Park, Karthik Dantu, Steven Y Ko, and Lukasz Ziarek. 2017. Fully automated ui testing system for large-scale android apps using multiple devices. In Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services. 185\u2013185."},{"key":"e_1_3_2_1_61_1","volume-title":"Max Van Kleek, and Nigel Shadbolt","author":"Kollnig Konrad","year":"2021","unstructured":"Konrad Kollnig , Anastasia Shuba , Reuben Binns , Max Van Kleek, and Nigel Shadbolt . 2021 . Are iPhones Really Better for Privacy? Comparative Study of iOS and Android Apps . arXiv preprint arXiv:2109.13722. Konrad Kollnig, Anastasia Shuba, Reuben Binns, Max Van Kleek, and Nigel Shadbolt. 2021. Are iPhones Really Better for Privacy? Comparative Study of iOS and Android Apps. arXiv preprint arXiv:2109.13722."},{"key":"e_1_3_2_1_62_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Lee Yeonjoon","year":"2019","unstructured":"Yeonjoon Lee , Xueqiang Wang , Kwangwuk Lee , Xiaojing Liao , XiaoFeng Wang , Tongxin Li , and Xianghang Mi . 2019 . Understanding $iOS-based$ Crowdturfing Through Hidden $UI$ Analysis . In 28th USENIX Security Symposium (USENIX Security 19) . 765\u2013781. Yeonjoon Lee, Xueqiang Wang, Kwangwuk Lee, Xiaojing Liao, XiaoFeng Wang, Tongxin Li, and Xianghang Mi. 2019. Understanding $iOS-based$ Crowdturfing Through Hidden $UI$ Analysis. In 28th USENIX Security Symposium (USENIX Security 19). 765\u2013781."},{"key":"e_1_3_2_1_63_1","volume-title":"2017 IEEE\/ACM 39th International Conference on Software Engineering Companion (ICSE-C). 23\u201326","author":"Li Yuanchun","year":"2017","unstructured":"Yuanchun Li , Ziyue Yang , Yao Guo , and Xiangqun Chen . 2017 . Droidbot: a lightweight ui-guided test input generator for android . In 2017 IEEE\/ACM 39th International Conference on Software Engineering Companion (ICSE-C). 23\u201326 . Yuanchun Li, Ziyue Yang, Yao Guo, and Xiangqun Chen. 2017. Droidbot: a lightweight ui-guided test input generator for android. In 2017 IEEE\/ACM 39th International Conference on Software Engineering Companion (ICSE-C). 23\u201326."},{"key":"e_1_3_2_1_64_1","volume-title":"2021 IEEE\/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). 144\u2013146","author":"Liu Changlin","year":"2021","unstructured":"Changlin Liu and Xusheng Xiao . 2021 . ProMal: precise window transition graphs for Android via synergy of program analysis and machine learning . In 2021 IEEE\/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). 144\u2013146 . Changlin Liu and Xusheng Xiao. 2021. ProMal: precise window transition graphs for Android via synergy of program analysis and machine learning. In 2021 IEEE\/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). 144\u2013146."},{"key":"e_1_3_2_1_65_1","first-page":"1184","article-title":"Privacy risk analysis and mitigation of analytics libraries in the android ecosystem","volume":"19","author":"Liu Xing","year":"2019","unstructured":"Xing Liu , Jiqiang Liu , Sencun Zhu , Wei Wang , and Xiangliang Zhang . 2019 . Privacy risk analysis and mitigation of analytics libraries in the android ecosystem . IEEE Transactions on Mobile Computing , 19 , 5 (2019), 1184 \u2013 1199 . Xing Liu, Jiqiang Liu, Sencun Zhu, Wei Wang, and Xiangliang Zhang. 2019. Privacy risk analysis and mitigation of analytics libraries in the android ecosystem. IEEE Transactions on Mobile Computing, 19, 5 (2019), 1184\u20131199.","journal-title":"IEEE Transactions on Mobile Computing"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491450"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635896"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931054"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"crossref","unstructured":"Leon J Osterweil and Lloyd D Fosdick. 1976. Program testing techniques using simulated execution. ACM SIGSIM Simulation Digest. \t\t\t\t  Leon J Osterweil and Lloyd D Fosdick. 1976. Program testing techniques using simulated execution. ACM SIGSIM Simulation Digest.","DOI":"10.1145\/1013610.807312"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397354"},{"key":"e_1_3_2_1_71_1","volume-title":"David Feil-Seifer, and Aria Nefian.","author":"Pham Huy Xuan","year":"2018","unstructured":"Huy Xuan Pham , Hung Manh La , David Feil-Seifer, and Aria Nefian. 2018 . Cooperative and distributed reinforcement learning of drones for field coverage. arXiv preprint arXiv:1803.07250. Huy Xuan Pham, Hung Manh La, David Feil-Seifer, and Aria Nefian. 2018. Cooperative and distributed reinforcement learning of drones for field coverage. arXiv preprint arXiv:1803.07250."},{"key":"e_1_3_2_1_72_1","unstructured":"Huy X Pham Hung M La David Feil-Seifer and Luan V Nguyen. 2018. Autonomous uav navigation using reinforcement learning. arXiv preprint arXiv:1801.05086. \t\t\t\t  Huy X Pham Hung M La David Feil-Seifer and Luan V Nguyen. 2018. Autonomous uav navigation using reinforcement learning. arXiv preprint arXiv:1801.05086."},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330575"},{"key":"e_1_3_2_1_74_1","volume-title":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 27\u201337","author":"Song Wei","year":"2017","unstructured":"Wei Song , Xiangxing Qian , and Jeff Huang . 2017 . EHBDroid: Beyond GUI testing for Android applications . In 2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 27\u201337 . Wei Song, Xiangxing Qian, and Jeff Huang. 2017. EHBDroid: Beyond GUI testing for Android applications. In 2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 27\u201337."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106298"},{"key":"e_1_3_2_1_76_1","volume-title":"UI Test Migration Across Mobile Platforms. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 756\u2013767","author":"Talebipour Saghar","year":"2021","unstructured":"Saghar Talebipour , Yixue Zhao , Luka Dojcilovi\u0107 , Chenggang Li , and Nenad Medvidovi\u0107 . 2021 . UI Test Migration Across Mobile Platforms. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 756\u2013767 . Saghar Talebipour, Yixue Zhao, Luka Dojcilovi\u0107, Chenggang Li, and Nenad Medvidovi\u0107. 2021. UI Test Migration Across Mobile Platforms. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 756\u2013767."},{"key":"e_1_3_2_1_77_1","article-title":"A systematical study on application performance management libraries for apps","author":"Tang Yutian","year":"2021","unstructured":"Yutian Tang , Haoyu Wang , Xian Zhan , Xiapu Luo , Yajin Zhou , Hao Zhou , Qiben Yan , Yulei Sui , and Jacky Wai Keung . 2021 . A systematical study on application performance management libraries for apps . IEEE Transactions on Software Engineering. Yutian Tang, Haoyu Wang, Xian Zhan, Xiapu Luo, Yajin Zhou, Hao Zhou, Qiben Yan, Yulei Sui, and Jacky Wai Keung. 2021. A systematical study on application performance management libraries for apps. IEEE Transactions on Software Engineering.","journal-title":"IEEE Transactions on Software Engineering."},{"key":"e_1_3_2_1_78_1","volume-title":"2019 IEEE\/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft). 12\u201315","author":"Tirodkar Aditya Atul","year":"2019","unstructured":"Aditya Atul Tirodkar and Sundeep Singh Khandpur . 2019 . EarlGrey: iOS UI automation testing framework . In 2019 IEEE\/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft). 12\u201315 . Aditya Atul Tirodkar and Sundeep Singh Khandpur. 2019. EarlGrey: iOS UI automation testing framework. In 2019 IEEE\/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft). 12\u201315."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2382756.2382797","article-title":"Verifying android applications using Java PathFinder","volume":"37","author":"Der Merwe Heila Van","year":"2012","unstructured":"Heila Van Der Merwe , Brink Van Der Merwe , and Willem Visser . 2012 . Verifying android applications using Java PathFinder . ACM SIGSOFT Software Engineering Notes , 37 , 6 (2012), 1 \u2013 5 . Heila Van Der Merwe, Brink Van Der Merwe, and Willem Visser. 2012. Verifying android applications using Java PathFinder. ACM SIGSOFT Software Engineering Notes, 37, 6 (2012), 1\u20135.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.5555\/3288647.3288710"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2983958"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598033","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598033","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:41Z","timestamp":1750182521000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598033"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":81,"alternative-id":["10.1145\/3597926.3598033","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598033","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}