{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:33:43Z","timestamp":1784342023136,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":80,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T00:00:00Z","timestamp":1701302400000},"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,11,30]]},"DOI":"10.1145\/3611643.3616286","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T23:14:38Z","timestamp":1701386078000},"page":"1088-1100","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8437-0687","authenticated-orcid":false,"given":"Jingling","family":"Sun","sequence":"first","affiliation":[{"name":"East China Normal University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-1341-6905","authenticated-orcid":false,"given":"Jiayi","family":"Jiang","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9866-2624","authenticated-orcid":false,"given":"Jue","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9750-8334","authenticated-orcid":false,"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[{"name":"East China Normal University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2970-1391","authenticated-orcid":false,"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,11,30]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771786"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.55"},{"key":"e_1_3_2_2_3_1","unstructured":"AnkiDroid Team. 2022. AnkiDroid. Retrieved 2023-1 from https:\/\/github.com\/ankidroid\/Anki-Android"},{"key":"e_1_3_2_2_4_1","unstructured":"AnyMemo Team. 2022. AnyMemo. Retrieved 2023-1 from https:\/\/github.com\/helloworld1\/AnyMemo"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970313"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00016"},{"key":"e_1_3_2_2_8_1","volume-title":"\u201cEpidemic Failure","author":"Joossen Beno\u00eet","year":"2023","unstructured":"Beno\u00eet Joossen. 2018. Voice Memos \u201cEpidemic Failure\u201d and How to Avoid it. Retrieved 2023-1 from https:\/\/aeroquartet.com\/wordpress\/2019\/03\/05\/voice-memos-epidemic-failure-and-how-to-avoid-it\/"},{"key":"e_1_3_2_2_9_1","volume-title":"Model-based testing of reactive systems: advanced lectures","author":"Broy Manfred","unstructured":"Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, and Alexander Pretschner. 2005. Model-based testing of reactive systems: advanced lectures. Springer Science & Business Media."},{"key":"e_1_3_2_2_10_1","volume-title":"Android Statistics","author":"Apps Business","year":"2022","unstructured":"Business of Apps. 2022. Android Statistics (2022). Retrieved 2023-1 from https:\/\/www.businessofapps.com\/data\/android-statistics\/"},{"key":"e_1_3_2_2_11_1","unstructured":"CapCut Team. 2021. CapCut. Retrieved 2023-1 from https:\/\/lv.faceueditor.com"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180240"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2002.12543"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.89"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/QUATIC.2014.16"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","unstructured":"Guilherme de Cleva Farto and Andre Takeshi Endo. 2015. Evaluating the model-based testing approach in the context of mobile applications. Electronic notes in Theoretical computer science 3\u201321. https:\/\/doi.org\/10.1016\/j.entcs.2015.05.002 10.1016\/j.entcs.2015.05.002","DOI":"10.1016\/j.entcs.2015.05.002"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380402"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180222"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115644"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"crossref","unstructured":"FeiShu Team. 2021. FeiShu. Retrieved 2023-1 from https:\/\/www.feishu.cn\/","DOI":"10.1155\/2021\/5578104"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"crossref","unstructured":"GeeksforGeeks. 2020. MVC (Model View Controller) Architecture Pattern in Android. Retrieved 2023-1 from https:\/\/www.geeksforgeeks.org\/mvc-model-view-controller-architecture-pattern-in-android-with-example\/","DOI":"10.1007\/978-1-4842-6280-1_1"},{"key":"e_1_3_2_2_25_1","unstructured":"Google. 2021. Google Play. Retrieved 2023-1 from https:\/\/play.google.com\/store"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00042"},{"key":"e_1_3_2_2_27_1","volume-title":"31st ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Guo Wunan","year":"2022","unstructured":"Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng. 2022. Detecting and fixing data loss issues in Android apps. In ISSTA \u201922: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022. 605\u2013616."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534402"},{"key":"e_1_3_2_2_29_1","volume-title":"Tell Facebook: There\u2019s a severe bug when changing profile pics on the iOS app. Retrieved 2023-1 from https:\/\/news.ycombinator.com\/item?id=6456285","author":"News Hacker","year":"2013","unstructured":"Hacker News. 2013. Tell Facebook: There\u2019s a severe bug when changing profile pics on the iOS app. Retrieved 2023-1 from https:\/\/news.ycombinator.com\/item?id=6456285"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236055"},{"key":"e_1_3_2_2_31_1","volume-title":"Trends in Functional Programming","author":"Hughes John","unstructured":"John Hughes. 2020. How to Specify It!. In Trends in Functional Programming. Springer International Publishing, 58\u201383."},{"key":"e_1_3_2_2_32_1","unstructured":"k-9 Team. 2022. k-9. Retrieved 2023-1 from https:\/\/github.com\/thundernest\/k-9"},{"key":"e_1_3_2_2_33_1","volume-title":"Model-based Automated Testing of Mobile Applications: An Industrial Case Study. In 14th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW","author":"Karlsson Stefan","year":"2021","unstructured":"Stefan Karlsson, Adnan Causevic, Daniel Sundmark, and M\u00e5rten Larsson. 2021. Model-based Automated Testing of Mobile Applications: An Industrial Case Study. In 14th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2021. 130\u2013137."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00023"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2865733"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133850.3133853"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360607"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.8"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00015"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2331982"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3559505"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931054"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180162"},{"key":"e_1_3_2_2_44_1","unstructured":"Monkey Team. 2022. Android Monkey. Retrieved 2023-1 from https:\/\/developer.android.com\/studio\/test\/monkey"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523728"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-67438-0_8"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3339002"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397354"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397379"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.4032401"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2001.04174"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3197231.3197241"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818836"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278186.3278195"},{"key":"e_1_3_2_2_56_1","unstructured":"SimpleTask Team. 2022. SimpleTask. Retrieved 2023-1 from https:\/\/github.com\/mpcjanssen\/simpletask-android"},{"key":"e_1_3_2_2_57_1","unstructured":"Sixth Tone. 2019. E-Commerce App Loses \u2018Tens of Millions\u2019 From Coupon Glitches. Retrieved 2023-1 from https:\/\/www.sixthtone.com\/news\/1003483\/e-commerce-app-loses-tens-of-millions-from-coupon-glitches"},{"key":"e_1_3_2_2_58_1","unstructured":"SkyTube Team. 2022. SkyTube. Retrieved 2023-1 from https:\/\/github.com\/SkyTubeTeam\/SkyTube"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.3013438"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106298"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468620"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485533"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464806"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3236449"},{"key":"e_1_3_2_2_65_1","unstructured":"Amaze Team. 2022. AmazeFileManager. Retrieved 2023-1 from https:\/\/github.com\/TeamAmaze\/AmazeFileManager"},{"key":"e_1_3_2_2_66_1","unstructured":"Tiktok Team. 2021. Tiktok. Retrieved 2023-1 from https:\/\/www.tiktok.com"},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-018-9418-6"},{"key":"e_1_3_2_2_68_1","unstructured":"David Travis. 2020. What user researchers ought to know about informed consent. Retrieved 2023-1 from https:\/\/userfocus.co.uk\/articles\/what_user_researchers_ought_to_know_about_informed_consent.html"},{"key":"e_1_3_2_2_69_1","unstructured":"uiautomator2 Team. 2022. uiautomator2. Retrieved 2023-1 from https:\/\/github.com\/openatx\/uiautomator2"},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549170"},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380382"},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3240465"},{"key":"e_1_3_2_2_73_1","volume-title":"weditor","year":"2023","unstructured":"weditor Team. 2022. weditor. Retrieved 2023-1 from https:\/\/pypi.org\/project\/weditor\/"},{"key":"e_1_3_2_2_74_1","unstructured":"Wikipedia. 2022. Create read update and delete. Retrieved 2023-1 from https:\/\/en.wikipedia.org\/wiki\/Create _read _update_and_delete"},{"key":"e_1_3_2_2_75_1","doi-asserted-by":"crossref","unstructured":"Wikipedia Team. 2022. Wikipedia. Retrieved 2023-1 from https:\/\/github.com\/wikimedia\/apps-android-wikipedia","DOI":"10.7551\/mitpress\/11386.003.0004"},{"key":"e_1_3_2_2_76_1","unstructured":"WordPress Team. 2022. WordPress. Retrieved 2023-1 from https:\/\/github.com\/wordpress-mobile\/WordPress-Android"},{"key":"e_1_3_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598138"},{"key":"e_1_3_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.31"},{"key":"e_1_3_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409708"},{"key":"e_1_3_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00030"}],"event":{"name":"ESEC\/FSE '23: 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"San Francisco CA USA","acronym":"ESEC\/FSE '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3616286","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611643.3616286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:03Z","timestamp":1750178163000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3616286"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,30]]},"references-count":80,"alternative-id":["10.1145\/3611643.3616286","10.1145\/3611643"],"URL":"https:\/\/doi.org\/10.1145\/3611643.3616286","relation":{},"subject":[],"published":{"date-parts":[[2023,11,30]]},"assertion":[{"value":"2023-11-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}