{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T13:03:58Z","timestamp":1761570238343,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,20]]},"DOI":"10.1145\/3755881.3755904","type":"proceedings-article","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T11:46:17Z","timestamp":1761565577000},"page":"305-316","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Fuzzing for Stateful Protocol Programs Based on Constraints between States and Message Types"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-8304-1045","authenticated-orcid":false,"given":"Kunpeng","family":"Jian","sequence":"first","affiliation":[{"name":"Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China; ey Laboratory of Network Assessment Technology, Chinese Academy of Sciences, Beijing, China and Beijing Key Laboratory of Network Security and Protection Technology, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4787-4832","authenticated-orcid":false,"given":"Yanyan","family":"Zou","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China; ey Laboratory of Network Assessment Technology, Chinese Academy of Sciences, Beijing, China and Beijing Key Laboratory of Network Security and Protection Technology, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5333-7630","authenticated-orcid":false,"given":"Menghao","family":"Li","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China; ey Laboratory of Network Assessment Technology, Chinese Academy of Sciences, Beijing, China and Beijing Key Laboratory of Network Security and Protection Technology, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7121-1196","authenticated-orcid":false,"given":"Wei","family":"Huo","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China; ey Laboratory of Network Assessment Technology, Chinese Academy of Sciences, Beijing, China and Beijing Key Laboratory of Network Security and Protection Technology, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2025,10,27]]},"reference":[{"key":"e_1_3_3_1_2_2","first-page":"340","volume-title":"ISSTA \u201922: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, July 18 - 22, 2022","author":"Andronidis Anastasios","year":"2022","unstructured":"Anastasios Andronidis and Cristian Cadar. 2022. SnapFuzz: high-throughput fuzzing of network applications. In ISSTA \u201922: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, July 18 - 22, 2022, Sukyoung Ryu and Yannis Smaragdakis (Eds.). ACM, Virtual Event, South Korea, 340\u2013351."},{"key":"e_1_3_3_1_3_2","volume-title":"26th Annual Network and Distributed System Security Symposium, NDSS 2019, February 24-27, 2019","author":"Aschermann Cornelius","year":"2019","unstructured":"Cornelius Aschermann, Tommaso Frassetto, Thorsten Holz, Patrick Jauernig, Ahmad-Reza Sadeghi, and Daniel Teuchert. 2019. NAUTILUS: Fishing for Deep Bugs with Grammars. In 26th Annual Network and Distributed System Security Symposium, NDSS 2019, February 24-27, 2019. The Internet Society, San Diego, California, USA."},{"key":"e_1_3_3_1_4_2","first-page":"1597","volume-title":"2020 IEEE Symposium on Security and Privacy, SP 2020, May 18-21, 2020","author":"Aschermann Cornelius","year":"2020","unstructured":"Cornelius Aschermann, Sergej Schumilo, Ali Abbasi, and Thorsten Holz. 2020. Ijon: Exploring Deep State Spaces via Fuzzing. In 2020 IEEE Symposium on Security and Privacy, SP 2020, May 18-21, 2020. IEEE, San Francisco, CA, USA, 1597\u20131612."},{"key":"e_1_3_3_1_5_2","first-page":"748","volume-title":"Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, May 25-31, 2019","author":"Atlidakis Vaggelis","year":"2019","unstructured":"Vaggelis Atlidakis, Patrice Godefroid, and Marina Polishchuk. 2019. RESTler: stateful REST API fuzzing. In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, May 25-31, 2019. IEEE \/ ACM, Montreal, QC, Canada, 748\u2013758."},{"key":"e_1_3_3_1_6_2","first-page":"3255","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Ba Jinsheng","year":"2022","unstructured":"Jinsheng Ba, Marcel B\u00f6hme, Zahra Mirzamomen, and Abhik Roychoudhury. 2022. Stateful Greybox Fuzzing. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 3255\u20133272."},{"key":"e_1_3_3_1_7_2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/11836810_25","volume-title":"Information Security, 9th International Conference, ISC 2006, August 30 - September 2, 2006, Proceedings","volume":"4176","author":"Banks Greg","year":"2006","unstructured":"Greg Banks, Marco Cova, Viktoria Felmetsger, Kevin\u00a0C. Almeroth, Richard\u00a0A. Kemmerer, and Giovanni Vigna. 2006. SNOOZE: Toward a Stateful NetwOrk prOtocol fuzZEr. In Information Security, 9th International Conference, ISC 2006, August 30 - September 2, 2006, Proceedings(Lecture Notes in Computer Science, Vol.\u00a04176). Springer, Samos Island, Greece, 343\u2013358."},{"key":"e_1_3_3_1_8_2","unstructured":"Andrei Bytes Prashant Hari\u00a0Narayan Rajput Michail Maniatakos and Jianying Zhou. 2022. FieldFuzz: Enabling vulnerability discovery in Industrial Control Systems supply chain using stateful system-level fuzzing. CoRR abs\/2204.13499 (2022)."},{"key":"e_1_3_3_1_9_2","unstructured":"Eclipse. 2022. TinyDTLS. https:\/\/projects.eclipse.org\/projects\/iot.tinydtls."},{"key":"e_1_3_3_1_10_2","unstructured":"Ross Finlayson. 2022. Live555. http:\/\/www.live555.com\/."},{"key":"e_1_3_3_1_11_2","unstructured":"GitLab. 2022. peach-fuzzer-community. https:\/\/gitlab.com\/peachtech\/peach-fuzzer-community."},{"key":"e_1_3_3_1_12_2","unstructured":"Serge Gorbunov and Arnold Rosenbloom. 2010. Autofuzz: Automated network protocol fuzzing framework. Ijcsns 10 8 (2010) 239."},{"key":"e_1_3_3_1_13_2","unstructured":"Olle\u00a0E. Johansson. 2022. Kamailio. https:\/\/www.kamailio.org\/w\/."},{"key":"e_1_3_3_1_14_2","unstructured":"Simon Kelley. 2022. Dnsmasq. https:\/\/thekelleys.org.uk\/dnsmasq\/doc.html."},{"key":"e_1_3_3_1_15_2","first-page":"2212","volume-title":"43rd IEEE Symposium on Security and Privacy, SP 2022, May 22-26, 2022","author":"Kim Kyungtae","year":"2022","unstructured":"Kyungtae Kim, Taegyu Kim, Ertza Warraich, Byoungyoung Lee, Kevin R.\u00a0B. Butler, Antonio Bianchi, and Dave\u00a0Jing Tian. 2022. FuzzUSB: Hybrid Stateful Fuzzing of USB Gadget Stacks. In 43rd IEEE Symposium on Security and Privacy, SP 2022, May 22-26, 2022. IEEE, San Francisco, CA, USA, 2212\u20132229."},{"key":"e_1_3_3_1_16_2","first-page":"202","volume-title":"Proceedings of the 15th IEEE Symposium on Computers and Communications, ISCC 2010, June 22-25, 2010","author":"Kitagawa Takahisa","year":"2010","unstructured":"Takahisa Kitagawa, Miyuki Hanaoka, and Kenji Kono. 2010. AspFuzz: A state-aware protocol fuzzer based on application-layer protocols. In Proceedings of the 15th IEEE Symposium on Computers and Communications, ISCC 2010, June 22-25, 2010. IEEE Computer Society, Riccione, Italy, 202\u2013208."},{"key":"e_1_3_3_1_17_2","unstructured":"Ao Li Rohan Padhye and Vyas Sekar. 2022. SPIDER: A Practical Fuzzing Framework to Uncover Stateful Performance Issues in SDN Controllers. CoRR abs\/2209.04026 (2022)."},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"Junqiang Li Senyi Li Gang Sun Ting Chen and Hongfang Yu. 2022. SNPSFuzzer: A Fast Greybox Fuzzer for Stateful Network Protocols Using Snapshots. IEEE Trans. Inf. Forensics Secur. 17 (2022) 2673\u20132687.","DOI":"10.1109\/TIFS.2022.3192991"},{"key":"e_1_3_3_1_19_2","series-title":"Advances in Intelligent Systems and Computing","first-page":"362","volume-title":"Innovative Mobile and Internet Services in Ubiquitous Computing - Proceedings of the 13th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS-2019), 3-5 July 2019","volume":"994","author":"Li Weiqi","year":"2019","unstructured":"Weiqi Li, Qian Wu, and Baojiang Cui. 2019. State-Based Fuzzing for S1AP. In Innovative Mobile and Internet Services in Ubiquitous Computing - Proceedings of the 13th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS-2019), 3-5 July 2019(Advances in Intelligent Systems and Computing, Vol.\u00a0994), Leonard Barolli, Fatos Xhafa, and Omar\u00a0Khadeer Hussain (Eds.). Springer, Sydney, NSW, Australia, 362\u2013372."},{"key":"e_1_3_3_1_20_2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/978-3-030-45234-6_31","volume-title":"Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, April 25-30, 2020, Proceedings","volume":"12076","author":"Liu Dongge","year":"2020","unstructured":"Dongge Liu, Gidon Ernst, Toby Murray, and Benjamin I.\u00a0P. Rubinstein. 2020. Legion: Best-First Concolic Testing (Competition Contribution). In Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, April 25-30, 2020, Proceedings(Lecture Notes in Computer Science, Vol.\u00a012076). Springer, Dublin, Ireland, 545\u2013549."},{"key":"e_1_3_3_1_21_2","first-page":"126","volume-title":"2024 IEEE Symposium on Security and Privacy (SP)","author":"Liu H.","year":"2024","unstructured":"H. Liu, S. Gan, C. Zhang, Z. Gao, H. Zhang, X. Wang, and G. Gao. 2024. LABRADOR: Response Guided Directed Fuzzing for Black-box IoT Devices. In 2024 IEEE Symposium on Security and Privacy (SP). IEEE Computer Society, Los Alamitos, CA, USA, 126\u2013126."},{"key":"e_1_3_3_1_22_2","unstructured":"LLVM. 2022. The LLVM Compiler Infrastructure. https:\/\/llvm.org\/."},{"key":"e_1_3_3_1_23_2","first-page":"Accepted","volume-title":"32st USENIX Security Symposium, USENIX Security 2023, AUGUST 9\u201311, 2023","author":"Luo Zhengxiong","year":"2023","unstructured":"Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, and Jiaguang Sun. 2023. BLEEM: Packet Sequence Oriented Fuzzing for Protocol Implementations. In 32st USENIX Security Symposium, USENIX Security 2023, AUGUST 9\u201311, 2023. USENIX Association, ANAHEIM, CA, USA, Accepted."},{"key":"e_1_3_3_1_24_2","volume-title":"30th Annual Network and Distributed System Security Symposium, NDSS 2023, February 27 - March 3, 2023","author":"Ma Fuchen","year":"2023","unstructured":"Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li, and Jiaguang Sun. 2023. LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. In 30th Annual Network and Distributed System Security Symposium, NDSS 2023, February 27 - March 3, 2023. The Internet Society, San Diego, California, USA."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Rui Ma Daguang Wang Changzhen Hu Wendong Ji and Jingfeng Xue. 2016. Test data generation for stateful network protocol fuzzing using a rule-based state machine. Tsinghua Science and Technology 21 3 (2016) 352\u2013360.","DOI":"10.1109\/TST.2016.7488746"},{"key":"e_1_3_3_1_26_2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-319-64701-2_26","volume-title":"Network and System Security - 11th International Conference, NSS 2017, August 21-23, 2017, Proceedings","volume":"10394","author":"Ma Rui","year":"2017","unstructured":"Rui Ma, Tianbao Zhu, Changzhen Hu, Chun Shan, and Xiaolin Zhao. 2017. SulleyEX: A Fuzzer for Stateful Network Protocol. In Network and System Security - 11th International Conference, NSS 2017, August 21-23, 2017, Proceedings(Lecture Notes in Computer Science, Vol.\u00a010394). Springer, Helsinki, Finland, 359\u2013372."},{"key":"e_1_3_3_1_27_2","volume-title":"Workshop on Binary Analysis Research (BAR), 2022","author":"Maier Dominik","year":"2022","unstructured":"Dominik Maier, Otto Bittner, Marc Munier, and Julian Beier. 2022. FitM: Binary-Only Coverage-Guided Fuzzing for Stateful Network Protocols. In Workshop on Binary Analysis Research (BAR), 2022."},{"key":"e_1_3_3_1_28_2","volume-title":"31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024","author":"Meng Ruijie","year":"2024","unstructured":"Ruijie Meng, Martin Mirchev, Marcel B\u00f6hme, and Abhik Roychoudhury. 2024. Large Language Model guided Protocol Fuzzing. In 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024. The Internet Society."},{"key":"e_1_3_3_1_29_2","unstructured":"Microsoft. 2025. CodeQL. https:\/\/codeql.github.com\/."},{"key":"e_1_3_3_1_30_2","unstructured":"Microsoft. 2025. Understanding the Remote Desktop Protocol. https:\/\/learn.microsoft.com\/en-us\/troubleshoot\/windows-server\/remote\/understanding-remote-desktop-protocol."},{"key":"e_1_3_3_1_31_2","unstructured":"Damien Miller. 2022. OpenSSH. https:\/\/www.openssh.com\/."},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"crossref","unstructured":"Roberto Natella. 2022. StateAFL: Greybox fuzzing for stateful network servers. Empir. Softw. Eng. 27 7 (2022) 191.","DOI":"10.1007\/s10664-022-10233-3"},{"key":"e_1_3_3_1_33_2","unstructured":"OFFIS. 2022. DCMTK. https:\/\/dicom.offis.de\/dcmtk.php.en."},{"key":"e_1_3_3_1_34_2","unstructured":"OpenAI. 2025. GPT-4o mini. https:\/\/openai.com\/index\/gpt-4o-mini-advancing-cost-efficient-intelligence\/."},{"key":"e_1_3_3_1_35_2","unstructured":"OpenAI. 2025. GPT-4o mini: advancing cost-efficient intelligence. https:\/\/openai.com\/index\/gpt-4o-mini-advancing-cost-efficient-intelligence\/."},{"key":"e_1_3_3_1_36_2","unstructured":"OpenRCE. 2019. Sulley. https:\/\/github.com\/llvm\/llvm-project."},{"key":"e_1_3_3_1_37_2","unstructured":"OpenSSL. 2022. OpenSSL. https:\/\/www.openssl.org\/."},{"key":"e_1_3_3_1_38_2","unstructured":"Joshua Pereyda. 2022. boofuzz. https:\/\/github.com\/jtpereyda\/boofuzz."},{"key":"e_1_3_3_1_39_2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/978-3-031-06773-0_20","volume-title":"NASA Formal Methods - 14th International Symposium, NFM 2022, May 24-27, 2022, Proceedings","volume":"13260","author":"Pferscher Andrea","year":"2022","unstructured":"Andrea Pferscher and Bernhard\u00a0K. Aichernig. 2022. Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning. In NASA Formal Methods - 14th International Symposium, NFM 2022, May 24-27, 2022, Proceedings(Lecture Notes in Computer Science, Vol.\u00a013260), Jyotirmoy\u00a0V. Deshmukh, Klaus Havelund, and Ivan Perez (Eds.). Springer, Pasadena, CA, USA, 373\u2013392."},{"key":"e_1_3_3_1_40_2","first-page":"460","volume-title":"13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, October 24-28, 2020","author":"Pham Van-Thuan","year":"2020","unstructured":"Van-Thuan Pham, Marcel B\u00f6hme, and Abhik Roychoudhury. 2020. AFLNET: A Greybox Fuzzer for Network Protocols. In 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, October 24-28, 2020. IEEE, Porto, Portugal, 460\u2013465."},{"key":"e_1_3_3_1_41_2","unstructured":"QEMU. 2022. QEMU. https:\/\/www.qemu.org\/."},{"key":"e_1_3_3_1_42_2","volume-title":"International Fuzzing Workshop (FUZZING) 2022","author":"Qin Shisong","year":"2022","unstructured":"Shisong Qin, Fan Hu, Bodong Zhao, Tingting Yin, and Chao Zhang. 2022. Registered Report: NSFuzz: Towards Efficient and State-Aware Network Service Fuzzing. In International Fuzzing Workshop (FUZZING) 2022. San Diego, CA, USA."},{"key":"e_1_3_3_1_43_2","unstructured":"Michael Renner and TJ Saunders. 2022. ProFTPD. http:\/\/www.proftpd.org\/."},{"key":"e_1_3_3_1_44_2","first-page":"166","volume-title":"EuroSys \u201922: Seventeenth European Conference on Computer Systems, April 5 - 8, 2022","author":"Schumilo Sergej","year":"2022","unstructured":"Sergej Schumilo, Cornelius Aschermann, Andrea Jemmett, Ali Abbasi, and Thorsten Holz. 2022. Nyx-net: network fuzzing with incremental snapshots. In EuroSys \u201922: Seventeenth European Conference on Computer Systems, April 5 - 8, 2022, Y\u00e9rom-David Bromberg, Anne-Marie Kermarrec, and Christos Kozyrakis (Eds.). ACM, Rennes, France, 166\u2013180."},{"key":"e_1_3_3_1_45_2","doi-asserted-by":"crossref","unstructured":"Yuheng Shen Hao Sun Yu Jiang Heyuan Shi Yixiao Yang and Wanli Chang. 2021. Rtkaller: State-aware Task Generation for RTOS Fuzzing. ACM Trans. Embed. Comput. Syst. 20 5s (2021) 83:1\u201383:22.","DOI":"10.1145\/3477014"},{"key":"e_1_3_3_1_46_2","doi-asserted-by":"crossref","unstructured":"Zhan Shu and Guanhua Yan. 2022. IoTInfer: Automated Blackbox Fuzz Testing of IoT Network Protocols Guided by Finite State Machine Inference. IEEE Internet Things J. 9 22 (2022) 22737\u201322751.","DOI":"10.1109\/JIOT.2022.3182589"},{"key":"e_1_3_3_1_47_2","unstructured":"Apoorv Shukla Said\u00a0Jawad Saidi Stefan Schmid Marco Canini Thomas Zinner and Anja Feldmann. 2019. Consistent SDNs through Network State Fuzzing. CoRR abs\/1904.08977 (2019)."},{"key":"e_1_3_3_1_48_2","doi-asserted-by":"crossref","unstructured":"Apoorv Shukla Said\u00a0Jawad Saidi Stefan Schmid Marco Canini Thomas Zinner and Anja Feldmann. 2020. Toward Consistent SDNs: A Case for Network State Fuzzing. IEEE Trans. Netw. Serv. Manag. 17 2 (2020) 668\u2013681.","DOI":"10.1109\/TNSM.2019.2955790"},{"key":"e_1_3_3_1_49_2","first-page":"1094","volume-title":"2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, Physical and Social Computing (CPSCom), August 20-23, 2013","author":"Wang Hao","year":"2013","unstructured":"Hao Wang, Qiaoyan Wen, and Zhao Zhang. 2013. Improvement of Peach Platform to Support GUI-Based Protocol State Modeling. In 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, Physical and Social Computing (CPSCom), August 20-23, 2013. IEEE, Beijing, China, 1094\u20131097."},{"key":"e_1_3_3_1_50_2","doi-asserted-by":"publisher","DOI":"10.1109\/IMCCC.2013.250"},{"key":"e_1_3_3_1_51_2","unstructured":"wikipedia. 2025. BlueKeep. https:\/\/en.wikipedia.org\/wiki\/BlueKeep."},{"key":"e_1_3_3_1_52_2","doi-asserted-by":"crossref","unstructured":"Hang Xu Ganyu Qin Junhu Zhu Zimian Liu and Zhiqiang Liu. 2021. Framework for State-Aware Virtual Hardware Fuzzing. Wirel. Commun. Mob. Comput. 2021 (2021) 6698311:1\u20136698311:14.","DOI":"10.1155\/2021\/6698311"},{"key":"e_1_3_3_1_53_2","doi-asserted-by":"crossref","unstructured":"Jiaxi Ye Bin Zhang Ruilin Li Chao Feng and Chaojing Tang. 2019. Program State Sensitive Parallel Fuzzing for Real World Software. IEEE Access 7 (2019) 42557\u201342564.","DOI":"10.1109\/ACCESS.2019.2905744"},{"key":"e_1_3_3_1_54_2","first-page":"480","volume-title":"MobiSys \u201920: The 18th Annual International Conference on Mobile Systems, Applications, and Services, June 15-19, 2020","author":"Yi Edgardo\u00a0Barsallo","year":"2020","unstructured":"Edgardo\u00a0Barsallo Yi, Heng Zhang, Amiya\u00a0Kumar Maji, and Saurabh Bagchi. 2020. Vulcan: a state-aware fuzzing tool for wear OS ecosystem. In MobiSys \u201920: The 18th Annual International Conference on Mobile Systems, Applications, and Services, June 15-19, 2020, Eyal de\u00a0Lara, Iqbal Mohomed, Jason Nieh, and Elizabeth\u00a0M. Belding (Eds.). ACM, Toronto, Ontario, Canada, 480\u2013481."},{"key":"e_1_3_3_1_55_2","doi-asserted-by":"crossref","unstructured":"Yingchao Yu Zuoning Chen Shuitao Gan and Xiaofeng Wang. 2020. SGPFuzzer: A State-Driven Smart Graybox Protocol Fuzzer for Network Protocol Implementations. IEEE Access 8 (2020) 198668\u2013198678.","DOI":"10.1109\/ACCESS.2020.3025037"},{"key":"e_1_3_3_1_56_2","first-page":"3273","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Zhao Bodong","year":"2022","unstructured":"Bodong Zhao, Zheming Li, Shisong Qin, Zheyu Ma, Ming Yuan, Wenyu Zhu, Zhihong Tian, and Chao Zhang. 2022. StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 3273\u20133289."},{"key":"e_1_3_3_1_57_2","doi-asserted-by":"publisher","DOI":"10.1109\/3PGCIC.2013.65"},{"key":"e_1_3_3_1_58_2","unstructured":"Wayne\u00a0Xin Zhao Kun Zhou Junyi Li Tianyi Tang Xiaolei Wang Yupeng Hou Yingqian Min Beichen Zhang Junjie Zhang Zican Dong et\u00a0al. 2023. A survey of large language models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2303.18223 (2023)."},{"key":"e_1_3_3_1_59_2","first-page":"823","volume-title":"58th ACM\/IEEE Design Automation Conference, DAC 2021, December 5-9, 2021","author":"Zuo Feilong","year":"2021","unstructured":"Feilong Zuo, Zhengxiong Luo, Junze Yu, Zhe Liu, and Yu Jiang. 2021. PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles. In 58th ACM\/IEEE Design Automation Conference, DAC 2021, December 5-9, 2021. IEEE, San Francisco, CA, USA, 823\u2013828."}],"event":{"name":"Internetware 2025: the 16th International Conference on Internetware","sponsor":["SIGSOFT ACM Special Interest Group on Artificial Intelligence"],"location":"Trondheim Norway","acronym":"Internetware 2025"},"container-title":["Proceedings of the 16th International Conference on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3755881.3755904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T11:51:49Z","timestamp":1761565909000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3755881.3755904"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,20]]},"references-count":58,"alternative-id":["10.1145\/3755881.3755904","10.1145\/3755881"],"URL":"https:\/\/doi.org\/10.1145\/3755881.3755904","relation":{},"subject":[],"published":{"date-parts":[[2025,6,20]]},"assertion":[{"value":"2025-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}