{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T18:14:42Z","timestamp":1757614482581,"version":"3.44.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031982071"},{"type":"electronic","value":"9783031982088"}],"license":[{"start":{"date-parts":[[2025,7,9]],"date-time":"2025-07-09T00:00:00Z","timestamp":1752019200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,7,9]],"date-time":"2025-07-09T00:00:00Z","timestamp":1752019200000},"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":[[2026]]},"DOI":"10.1007\/978-3-031-98208-8_21","type":"book-chapter","created":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T17:57:02Z","timestamp":1752429422000},"page":"361-379","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["State Significance-Guided Fuzzing for\u00a0Stateful Protocol Program"],"prefix":"10.1007","author":[{"given":"Kunpeng","family":"Jian","sequence":"first","affiliation":[]},{"given":"Yanyan","family":"Zou","sequence":"additional","affiliation":[]},{"given":"Chen","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Ning","family":"Li","sequence":"additional","affiliation":[]},{"given":"Menghao","family":"Li","sequence":"additional","affiliation":[]},{"given":"Wei","family":"Huo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,7,9]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Aschermann, C., Frassetto, T., Holz, T., Jauernig, P., Sadeghi, A., Teuchert, D.: NAUTILUS: fishing for deep bugs with grammars. In: 26th Annual Network and Distributed System Security Symposium, NDSS 2019, 24\u201327 February 2019. The Internet Society, San Diego, California, USA (2019)","DOI":"10.14722\/ndss.2019.23412"},{"key":"21_CR2","unstructured":"Ba, J., B\u00f6hme, M., Mirzamomen, Z., Roychoudhury, A.: Stateful greybox fuzzing. In: 31st USENIX Security Symposium (USENIX Security 2022), pp. 3255\u20133272. USENIX Association, Boston, MA (2022)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Banks, G., Cova, M., Felmetsger, V., Almeroth, K.C., Kemmerer, R.A., Vigna, G.: SNOOZE: toward a stateful network protocol fuzzer. In: Information Security, 9th International Conference, ISC 2006, 30 August\u20132 September 2006, Proceedings. Lecture Notes in Computer Science, vol.\u00a04176, pp. 343\u2013358. Springer, Samos Island, Greece (2006)","DOI":"10.1007\/11836810_25"},{"key":"21_CR4","unstructured":"GitLab: peach-fuzzer-community (2024). https:\/\/gitlab.com\/peachtech\/peach-fuzzer-community"},{"key":"21_CR5","unstructured":"Google: AFL (2021). https:\/\/github.com\/google\/AFL"},{"key":"21_CR6","unstructured":"Google: AFLNWE (2021). https:\/\/github.com\/thuanpv\/aflnwe"},{"issue":"8","key":"21_CR7","first-page":"239","volume":"10","author":"S Gorbunov","year":"2010","unstructured":"Gorbunov, S., Rosenbloom, A.: Autofuzz: automated network protocol fuzzing framework. IJCSNS 10(8), 239 (2010)","journal-title":"IJCSNS"},{"key":"21_CR8","unstructured":"Halstead, M.H.: Elements of Software Science (Operating and Programming Systems Series). Elsevier Science Inc. (1977)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Jian, K., et al.: Fuzzing for stateful protocol implementations: are we there yet? In: Chin, W., Xu, Z. (eds.) Theoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, China, 29 July\u20131 August 2024, Proceedings. Lecture Notes in Computer Science, vol. 14777, pp. 186\u2013204. Springer (2024)","DOI":"10.1007\/978-3-031-64626-3_11"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Kitagawa, T., Hanaoka, M., Kono, K.: Aspfuzz: a state-aware protocol fuzzer based on application-layer protocols. In: Proceedings of the 15th IEEE Symposium on Computers and Communications, ISCC 2010, 22\u201325 June 2010, pp. 202\u2013208. IEEE Computer Society, Riccione, Italy (2010)","DOI":"10.1109\/ISCC.2010.5546704"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Liu, D., Ernst, G., Murray, T., Rubinstein, B.I.P.: Legion: best-first concolic testing (competition contribution). In: Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, 25\u201330 April 2020, Proceedings, vol. 12076, pp. 545\u2013549. Springer, Dublin, Ireland (2020)","DOI":"10.1007\/978-3-030-45234-6_31"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Liu, H., et al.: Labrador: response guided directed fuzzing for black-box IoT devices. In: 2024 IEEE Symposium on Security and Privacy (SP), p. 126. IEEE Computer Society, Los Alamitos, CA, USA (2024)","DOI":"10.1109\/SP54263.2024.00127"},{"key":"21_CR13","unstructured":"Luo, Z., et al.: Bleem: packet sequence oriented fuzzing for protocol implementations. In: 32st USENIX Security Symposium, USENIX Security 2023, 9\u201311 August 2023. USENIX Association, Anaheim, CA, USA (2023)"},{"issue":"3","key":"21_CR14","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TST.2016.7488746","volume":"21","author":"R Ma","year":"2016","unstructured":"Ma, R., Wang, D., Hu, C., Ji, W., Xue, J.: Test data generation for stateful network protocol fuzzing using a rule-based state machine. Tsinghua Sci. Technol. 21(3), 352\u2013360 (2016)","journal-title":"Tsinghua Sci. Technol."},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Ma, R., Zhu, T., Hu, C., Shan, C., Zhao, X.: Sulleyex: a fuzzer for stateful network protocol. In: Network and System Security - 11th International Conference, NSS 2017, 21\u201323 August 2017, Proceedings. Lecture Notes in Computer Science, vol. 10394, pp. 359\u2013372. Springer, Helsinki, Finland (2017)","DOI":"10.1007\/978-3-319-64701-2_26"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"McCabe, T.J.: A complexity measure. IEEE Trans. Softw. Eng. 308\u2013320 (1976)","DOI":"10.1109\/TSE.1976.233837"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Meng, R., Mirchev, M., B\u00f6hme, M., Roychoudhury, A.: Large language model guided protocol fuzzing. In: Proceedings of the 31st Annual Network and Distributed System Security Symposium (NDSS) (2024)","DOI":"10.14722\/ndss.2024.24556"},{"key":"21_CR18","unstructured":"Microsoft: Maintainability index range and meaning (2024). https:\/\/learn.microsoft.com\/en-us\/visualstudio\/code-quality\/code-metrics-maintainability-index-range-and-meaning?view=vs-2022"},{"issue":"7","key":"21_CR19","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10664-022-10233-3","volume":"27","author":"R Natella","year":"2022","unstructured":"Natella, R.: Stateafl: greybox fuzzing for stateful network servers. Empir. Softw. Eng. 27(7), 191 (2022)","journal-title":"Empir. Softw. Eng."},{"key":"21_CR20","unstructured":"OpenRCE: Sulley (2019). https:\/\/github.com\/llvm\/llvm-project"},{"key":"21_CR21","unstructured":"Pereyda, J.: boofuzz (2024). https:\/\/github.com\/jtpereyda\/boofuzz"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Pham, V., B\u00f6hme, M., Roychoudhury, A.: AFLNET: a greybox fuzzer for network protocols. In: 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, 24\u201328 October 2020, pp. 460\u2013465. IEEE, Porto, Portugal (2020)","DOI":"10.1109\/ICST46399.2020.00062"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Qin, S., Hu, F., Zhao, B., Yin, T., Zhang, C.: Registered report: nsfuzz: towards efficient and state-aware network service fuzzing. In: International Fuzzing Workshop (FUZZING) 2022, San Diego, CA, USA (2022)","DOI":"10.14722\/fuzzing.2022.23006"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Schumilo, S., Aschermann, C., Jemmett, A., Abbasi, A., Holz, T.: Nyx-net: network fuzzing with incremental snapshots. In: Bromberg, Y., Kermarrec, A., Kozyrakis, C. (eds.) EuroSys 2022: Seventeenth European Conference on Computer Systems, 5\u20138 April 2022, pp. 166\u2013180. ACM, Rennes, France (2022)","DOI":"10.1145\/3492321.3519591"},{"issue":"22","key":"21_CR25","doi-asserted-by":"publisher","first-page":"22737","DOI":"10.1109\/JIOT.2022.3182589","volume":"9","author":"Z Shu","year":"2022","unstructured":"Shu, Z., Yan, G.: Iotinfer: automated blackbox fuzz testing of IoT network protocols guided by finite state machine inference. IEEE Internet Things J. 9(22), 22737\u201322751 (2022)","journal-title":"IEEE Internet Things J."},{"key":"21_CR26","unstructured":"Synopsys: The Heartbleed Bug (2024). https:\/\/heartbleed.com\/"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Wang, H., Wen, Q., Zhang, Z.: 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), 20\u201323 August 2013, pp. 1094\u20131097. IEEE, Beijing, China (2013)","DOI":"10.1109\/GreenCom-iThings-CPSCom.2013.188"},{"key":"21_CR28","doi-asserted-by":"crossref","unstructured":"Wang, J., Guo, T., Zhang, P., Xiao, Q.: A model-based behavioral fuzzing approach for network service. In: 2013 Third International Conference on Instrumentation, Measurement, Computer, Communication and Control, pp. 1129\u20131134. IEEE, NW Washington, DC, USA (2013)","DOI":"10.1109\/IMCCC.2013.250"},{"issue":"3","key":"21_CR29","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1002\/(SICI)1096-908X(199705)9:3<127::AID-SMR149>3.0.CO;2-S","volume":"9","author":"KD Welker","year":"1997","unstructured":"Welker, K.D., Oman, P.W., Atkinson, G.G.: Development and application of an automated source code maintainability index. J. Softw. Maint. Res. Pract. 9(3), 127\u2013159 (1997)","journal-title":"J. Softw. Maint. Res. Pract."},{"key":"21_CR30","doi-asserted-by":"publisher","first-page":"198668","DOI":"10.1109\/ACCESS.2020.3025037","volume":"8","author":"Y Yu","year":"2020","unstructured":"Yu, Y., Chen, Z., Gan, S., Wang, X.: Sgpfuzzer: a state-driven smart graybox protocol fuzzer for network protocol implementations. IEEE Access 8, 198668\u2013198678 (2020)","journal-title":"IEEE Access"},{"key":"21_CR31","doi-asserted-by":"crossref","unstructured":"Zhao, J., Chen, S., Liang, S., Cui, B., Song, X.: Rfsm-fuzzing a smart fuzzing algorithm based on regression FSM. In: 2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, pp. 380\u2013386. Compiegne, France (2013)","DOI":"10.1109\/3PGCIC.2013.65"},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Zuo, F., Luo, Z., Yu, J., Liu, Z., Jiang, Y.: Pavfuzz: state-sensitive fuzz testing of protocols in autonomous vehicles. In: 58th ACM\/IEEE Design Automation Conference, DAC 2021, 5\u20139 December 2021, pp. 823\u2013828. IEEE, San Francisco, CA, USA (2021)","DOI":"10.1109\/DAC18074.2021.9586321"}],"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-98208-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T07:39:00Z","timestamp":1757057940000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-98208-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,9]]},"ISBN":["9783031982071","9783031982088"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-98208-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,7,9]]},"assertion":[{"value":"9 July 2025","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":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tase2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cyprusconferences.org\/tase2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}