{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:14:41Z","timestamp":1783008881815,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Shandong Provincial Natural Science Foundation","award":["ZR2020MF055, ZR2021LZH007, ZR2020LZH002, ZR2020QF045"],"award-info":[{"award-number":["ZR2020MF055, ZR2021LZH007, ZR2020LZH002, ZR2020QF045"]}]},{"name":"Science and Technology Commission of Shanghai Municipality Research Program","award":["20511102002"],"award-info":[{"award-number":["20511102002"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3548606.3559367","type":"proceedings-article","created":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T11:41:28Z","timestamp":1667821288000},"page":"485-498","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["SFuzz"],"prefix":"10.1145","author":[{"given":"Libo","family":"Chen","sequence":"first","affiliation":[{"name":"Shandong University, SJTU, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Quanpu","family":"Cai","sequence":"additional","affiliation":[{"name":"SJTU, Alibaba Group, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhenbang","family":"Ma","sequence":"additional","affiliation":[{"name":"QI-ANXIN, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yanhao","family":"Wang","sequence":"additional","affiliation":[{"name":"QI-ANXIN, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hong","family":"Hu","sequence":"additional","affiliation":[{"name":"Pennsylvania State University, University Park, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Minghang","family":"Shen","sequence":"additional","affiliation":[{"name":"Tencent Security Xuanwu Lab, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yue","family":"Liu","sequence":"additional","affiliation":[{"name":"Southeast University, QI-ANXIN, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shanqing","family":"Guo","sequence":"additional","affiliation":[{"name":"Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haixin","family":"Duan","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kaida","family":"Jiang","sequence":"additional","affiliation":[{"name":"SJTU, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhi","family":"Xue","sequence":"additional","affiliation":[{"name":"SJTU, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,11,7]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Demand-Driven Compositional Symbolic Execution. In 2008 14th Tools and Algorithms for the Construction and Analysis of Systems (TACAS). ETAPS, 367--381","author":"Anand Saswat","unstructured":"Saswat Anand , Patrice Godefroid , and Nikolai Tillmann . 2008. Demand-Driven Compositional Symbolic Execution. In 2008 14th Tools and Algorithms for the Construction and Analysis of Systems (TACAS). ETAPS, 367--381 . Saswat Anand, Patrice Godefroid, and Nikolai Tillmann. 2008. Demand-Driven Compositional Symbolic Execution. In 2008 14th Tools and Algorithms for the Construction and Analysis of Systems (TACAS). ETAPS, 367--381."},{"key":"e_1_3_2_2_2_1","unstructured":"Armis. 2021. Home - Armis. https:\/\/www.armis.com\/. (2021).  Armis. 2021. Home - Armis. https:\/\/www.armis.com\/. (2021)."},{"key":"e_1_3_2_2_3_1","volume-title":"RWset: Attacking Path Explosion in Constraint-Based Test Generation. In 2008 14th Tools and Algorithms for the Construction and Analysis of Systems (TACAS). ETAPS, 351--366","author":"Boonstoppel Peter","unstructured":"Peter Boonstoppel , Cristian Cadar , and Dawson Engler . 2008. RWset: Attacking Path Explosion in Constraint-Based Test Generation. In 2008 14th Tools and Algorithms for the Construction and Analysis of Systems (TACAS). ETAPS, 351--366 . Peter Boonstoppel, Cristian Cadar, and Dawson Engler. 2008. RWset: Attacking Path Explosion in Constraint-Based Test Generation. In 2008 14th Tools and Algorithms for the Construction and Analysis of Systems (TACAS). ETAPS, 351--366."},{"key":"e_1_3_2_2_4_1","volume-title":"Proceedings of the 2013 USENIX conference on Annual Technical Conference (USENIX ATC '13). 199--212","author":"Bugrara Suhabe","year":"2013","unstructured":"Suhabe Bugrara and Dawson Engler . 2013 . Redundant State Detection for Dynamic Symbolic Execution . In Proceedings of the 2013 USENIX conference on Annual Technical Conference (USENIX ATC '13). 199--212 . Suhabe Bugrara and Dawson Engler. 2013. Redundant State Detection for Dynamic Symbolic Execution. In Proceedings of the 2013 USENIX conference on Annual Technical Conference (USENIX ATC '13). 199--212."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"e_1_3_2_2_6_1","first-page":"209","article-title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , Dawson R Engler , 2008 . Klee: unassisted and automatic generation of high-coverage tests for complex systems programs . In OSDI , Vol. 8. 209 -- 224 . Cristian Cadar, Daniel Dunbar, Dawson R Engler, et al. 2008. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, Vol. 8. 209--224.","journal-title":"OSDI"},{"key":"e_1_3_2_2_7_1","first-page":"1","article-title":"Towards Automated Dynamic Analysis for Linux-based Embedded Firmware","volume":"1","author":"Chen Daming D","year":"2016","unstructured":"Daming D Chen , Maverick Woo , David Brumley , and Manuel Egele . 2016 . Towards Automated Dynamic Analysis for Linux-based Embedded Firmware . In NDSS , Vol. 1. 1 -- 1 . Daming D Chen, Maverick Woo, David Brumley, and Manuel Egele. 2016. Towards Automated Dynamic Analysis for Linux-based Embedded Firmware. In NDSS, Vol. 1. 1--1.","journal-title":"NDSS"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243849"},{"key":"e_1_3_2_2_9_1","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Chen Libo","year":"2021","unstructured":"Libo Chen , Yanhao Wang , Quanpu Cai , Yunfan Zhan , Hong Hu , Jiaqi Linghu , Qinsheng Hou , Chao Zhang , Haixin Duan , and Zhi Xue . 2021 . Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems . In 30th USENIX Security Symposium (USENIX Security 21) . Libo Chen, Yanhao Wang, Quanpu Cai, Yunfan Zhan, Hong Hu, Jiaqi Linghu, Qinsheng Hou, Chao Zhang, Haixin Duan, and Zhi Xue. 2021. Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems. In 30th USENIX Security Symposium (USENIX Security 21)."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961296.1950396"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.37"},{"key":"e_1_3_2_2_12_1","volume-title":"Workshop on Binary Analysis Research (BAR)","volume":"2021","author":"Clements Abraham A","year":"2021","unstructured":"Abraham A Clements , Logan Carpenter , William A Moeglein , and Christopher Wright . 2021 . Is Your Firmware Real or Re-Hosted? . In Workshop on Binary Analysis Research (BAR) , Vol. 2021 . 21. Abraham A Clements, Logan Carpenter, William A Moeglein, and Christopher Wright. 2021. Is Your Firmware Real or Re-Hosted?. In Workshop on Binary Analysis Research (BAR), Vol. 2021. 21."},{"key":"e_1_3_2_2_13_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Clements Abraham A","year":"2020","unstructured":"Abraham A Clements , Eric Gustafson , Tobias Scharnowski , Paul Grosen , David Fritz , Christopher Kruegel , Giovanni Vigna , Saurabh Bagchi , and Mathias Payer . 2020 . HALucinator: Firmware re-hosting through abstraction layer emulation . In 29th USENIX Security Symposium (USENIX Security 20) . 1201--1218. Abraham A Clements, Eric Gustafson, Tobias Scharnowski, Paul Grosen, David Fritz, Christopher Kruegel, Giovanni Vigna, Saurabh Bagchi, and Mathias Payer. 2020. HALucinator: Firmware re-hosting through abstraction layer emulation. In 29th USENIX Security Symposium (USENIX Security 20). 1201--1218."},{"key":"e_1_3_2_2_14_1","volume-title":"USENIX Security Symposium.","author":"Cowan Crispan","year":"1998","unstructured":"Crispan Cowan , Calton Pu , Dave Maier , Jonathan Walpole , Peat Bakke , Steve Beattie , Aaron Grier , Perry Wagle , Qian Zhang , and Heather Hinton . 1998 . Stackguard: Automatic adaptive detection and prevention of buffer-overflow attacks . In USENIX Security Symposium. Crispan Cowan, Calton Pu, Dave Maier, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang, and Heather Hinton. 1998. Stackguard: Automatic adaptive detection and prevention of buffer-overflow attacks. In USENIX Security Symposium."},{"key":"e_1_3_2_2_15_1","unstructured":"eCos. 2021. eCos Home Page. https:\/\/ecos.sourceware.org\/. (2021).  eCos. 2021. eCos Home Page. https:\/\/ecos.sourceware.org\/. (2021)."},{"key":"e_1_3_2_2_16_1","unstructured":"FreeRTOS?. 2021. Real-time operating system for microcontrollers. https:\/\/www.freertos.org\/. (2021).  FreeRTOS?. 2021. Real-time operating system for microcontrollers. https:\/\/www.freertos.org\/. (2021)."},{"key":"e_1_3_2_2_17_1","unstructured":"Ghidra. 2021. Ghidra. https:\/\/ghidra-sre.org\/. (2021).  Ghidra. 2021. Ghidra. https:\/\/ghidra-sre.org\/. (2021)."},{"key":"e_1_3_2_2_18_1","unstructured":"Barak Hadad and Dor Zusman. 2020. From an URGENT\/11 Vulnerability to a Full Take-Down of a Factory Using a Single Packet. In Black Hat Asia.  Barak Hadad and Dor Zusman. 2020. From an URGENT\/11 Vulnerability to a Full Take-Down of a Factory Using a Single Packet. In Black Hat Asia."},{"key":"e_1_3_2_2_19_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Ispoglou Kyriakos","year":"2020","unstructured":"Kyriakos Ispoglou , Daniel Austin , Vishwath Mohan , and Mathias Payer . 2020 . Fuzzgen: Automatic fuzzer generation . In 29th USENIX Security Symposium (USENIX Security 20) . 2271--2287. Kyriakos Ispoglou, Daniel Austin, Vishwath Mohan, and Mathias Payer. 2020. Fuzzgen: Automatic fuzzer generation. In 29th USENIX Security Symposium (USENIX Security 20). 2271--2287."},{"key":"e_1_3_2_2_20_1","unstructured":"Chung Hwan Kim Taegyu Kim Hongjun Choi Zhongshu Gu Byoungyoung Lee Xiangyu Zhang and Dongyan Xu. 2018. Securing Real-Time Microcontroller Systems through Customized Memory View Switching. In NDSS.  Chung Hwan Kim Taegyu Kim Hongjun Choi Zhongshu Gu Byoungyoung Lee Xiangyu Zhang and Dongyan Xu. 2018. Securing Real-Time Microcontroller Systems through Customized Memory View Switching. In NDSS."},{"key":"e_1_3_2_2_21_1","volume-title":"FirmAE: Towards Large-Scale Emulation of IoT Firmware for Dynamic Analysis. In Annual Computer Security Applications Conference. 733--745","author":"Kim Mingeun","year":"2020","unstructured":"Mingeun Kim , Dongkwan Kim , Eunsoo Kim , Suryeon Kim , Yeongjin Jang , and Yongdae Kim . 2020 . FirmAE: Towards Large-Scale Emulation of IoT Firmware for Dynamic Analysis. In Annual Computer Security Applications Conference. 733--745 . Mingeun Kim, Dongkwan Kim, Eunsoo Kim, Suryeon Kim, Yeongjin Jang, and Yongdae Kim. 2020. FirmAE: Towards Large-Scale Emulation of IoT Firmware for Dynamic Analysis. In Annual Computer Security Applications Conference. 733--745."},{"key":"e_1_3_2_2_22_1","volume-title":"Proceedings of the 2017 USENIX conference on Annual Technical Conference (USENIX ATC 17)","author":"Kim Su Yong","year":"2017","unstructured":"Su Yong Kim , Sangho Lee , Insu Yun , Wen Xu , Byoungyoung Lee , Youngtae Yun , and Taesoo Kim . 2017 . CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems . In Proceedings of the 2017 USENIX conference on Annual Technical Conference (USENIX ATC 17) . 689--701. Su Yong Kim, Sangho Lee, Insu Yun, Wen Xu, Byoungyoung Lee, Youngtae Yun, and Taesoo Kim. 2017. CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems. In Proceedings of the 2017 USENIX conference on Annual Technical Conference (USENIX ATC 17). 689--701."},{"key":"e_1_3_2_2_23_1","unstructured":"Microsoft. 2006. Data Execution Prevention (DEP). (2006). http:\/\/support.microsoft.com\/kb\/875352\/EN-US\/.  Microsoft. 2006. Data Execution Prevention (DEP). (2006). http:\/\/support.microsoft.com\/kb\/875352\/EN-US\/."},{"key":"e_1_3_2_2_24_1","unstructured":"NASA. 2021. Command & Data-handling Systems. https:\/\/mars.nasa.gov\/mro\/mission\/spacecraft\/parts\/command\/. (2021).  NASA. 2021. Command & Data-handling Systems. https:\/\/mars.nasa.gov\/mro\/mission\/spacecraft\/parts\/command\/. (2021)."},{"key":"e_1_3_2_2_25_1","unstructured":"Nathan Voss. 2017. afl-unicorn: Fuzzing Arbitrary Binary Code. https:\/\/hackernoon.com\/afl-unicorn-fuzzing-arbitrary-binary-code-563ca28936bf. (2017).  Nathan Voss. 2017. afl-unicorn: Fuzzing Arbitrary Binary Code. https:\/\/hackernoon.com\/afl-unicorn-fuzzing-arbitrary-binary-code-563ca28936bf. (2017)."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00056"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2522920.2522925"},{"key":"e_1_3_2_2_28_1","volume-title":"Under-Constrained Symbolic Execution: Correctness Checking for Real Code. In 24th USENIX Security Symposium (USENIX Security 15)","author":"David","unstructured":"David A. Ramos and Dawson Engler. 2015 . Under-Constrained Symbolic Execution: Correctness Checking for Real Code. In 24th USENIX Security Symposium (USENIX Security 15) . 49--64. David A. Ramos and Dawson Engler. 2015. Under-Constrained Symbolic Execution: Correctness Checking for Real Code. In 24th USENIX Security Symposium (USENIX Security 15). 49--64."},{"key":"e_1_3_2_2_29_1","first-page":"21","article-title":"Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques","volume":"16","author":"Rasthofer Siegfried","year":"2016","unstructured":"Siegfried Rasthofer , Steven Arzt , Marc Miltenberger , and Eric Bodden . 2016 . Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques . In NDSS , Vol. 16. 21 -- 24 . Siegfried Rasthofer, Steven Arzt, Marc Miltenberger, and Eric Bodden. 2016. Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. In NDSS, Vol. 16. 21--24.","journal-title":"NDSS"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23404"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00036"},{"key":"e_1_3_2_2_32_1","volume-title":"23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID","author":"Salehi Majid","year":"2020","unstructured":"Majid Salehi , Danny Hughes , and Bruno Crispo . 2020 . ??SBS: Static Binary Sanitization of Bare-metal Embedded Devices for Fault Observability . In 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020). 381--395. Majid Salehi, Danny Hughes, and Bruno Crispo. 2020. ??SBS: Static Binary Sanitization of Bare-metal Embedded Devices for Fault Observability. In 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020). 381--395."},{"key":"e_1_3_2_2_33_1","volume-title":"ARMIS, URGENT\/11","author":"Seri Ben","year":"2019","unstructured":"Ben Seri , Gregory Vishnepolsky , and Dor Zusman . 2019. Critical vulnerabilities to remotely compromise VxWorks, the most popular RTOS. White paper , ARMIS, URGENT\/11 ( 2019 ). Ben Seri, Gregory Vishnepolsky, and Dor Zusman. 2019. Critical vulnerabilities to remotely compromise VxWorks, the most popular RTOS. White paper, ARMIS, URGENT\/11 (2019)."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_2_35_1","first-page":"1","article-title":"Driller: Augmenting Fuzzing Through Selective Symbolic Execution","volume":"16","author":"Stephens Nick","year":"2016","unstructured":"Nick Stephens , John Grosen , Christopher Salls , Andrew Dutcher , Ruoyu Wang , Jacopo Corbetta , Yan Shoshitaishvili , Christopher Kruegel , and Giovanni Vigna . 2016 . Driller: Augmenting Fuzzing Through Selective Symbolic Execution . In NDSS , Vol. 16. 1 -- 16 . Nick Stephens, John Grosen, Christopher Salls, Andrew Dutcher, Ruoyu Wang, Jacopo Corbetta, Yan Shoshitaishvili, Christopher Kruegel, and Giovanni Vigna. 2016. Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS, Vol. 16. 1--16.","journal-title":"NDSS"},{"key":"e_1_3_2_2_36_1","volume-title":"Angr-the next generation of binary analysis. In 2017 IEEE Cybersecurity Development (SecDev)","author":"Wang Fish","unstructured":"Fish Wang and Yan Shoshitaishvili . 2017. Angr-the next generation of binary analysis. In 2017 IEEE Cybersecurity Development (SecDev) . IEEE , 8--9. Fish Wang and Yan Shoshitaishvili. 2017. Angr-the next generation of binary analysis. In 2017 IEEE Cybersecurity Development (SecDev). IEEE, 8--9."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3423344"},{"key":"e_1_3_2_2_38_1","unstructured":"WindRiver. 2021. VxWorks: The Leading RTOS for the Intelligent Edge. https:\/\/www.windriver.com\/products\/vxworks. (2021).  WindRiver. 2021. VxWorks: The Leading RTOS for the Intelligent Edge. https:\/\/www.windriver.com\/products\/vxworks. (2021)."},{"key":"e_1_3_2_2_39_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 -- 24 . Michelle Y Wong and David Lie. 2016. Intellidroid: a targeted input generator for the dynamic analysis of android malware. In NDSS, Vol. 16. 21--24.","journal-title":"NDSS"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2659751"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i01.5466"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00100"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359789.3359826"},{"key":"e_1_3_2_2_44_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Zheng Yaowen","year":"2019","unstructured":"Yaowen Zheng , Ali Davanian , Heng Yin , Chengyu Song , Hongsong Zhu , and Limin Sun . 2019 . FIRM-AFL: high-throughput greybox fuzzing of iot firmware via augmented process emulation . In 28th USENIX Security Symposium (USENIX Security 19) . 1099--1114. Yaowen Zheng, Ali Davanian, Heng Yin, Chengyu Song, Hongsong Zhu, and Limin Sun. 2019. FIRM-AFL: high-throughput greybox fuzzing of iot firmware via augmented process emulation. In 28th USENIX Security Symposium (USENIX Security 19). 1099--1114."},{"key":"e_1_3_2_2_45_1","unstructured":"Wenzhe Zhu Zhou Yu Jiashui Wang and Ruikai Liu. 2019. Dive into VxWorks Based IoT Device: Debug the Undebugable Device. In Black Hat Asia.  Wenzhe Zhu Zhou Yu Jiashui Wang and Ruikai Liu. 2019. Dive into VxWorks Based IoT Device: Debug the Undebugable Device. In Black Hat Asia."}],"event":{"name":"CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security","location":"Los Angeles CA USA","acronym":"CCS '22","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3559367","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548606.3559367","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:50:57Z","timestamp":1750182657000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3559367"}},"subtitle":["Slice-based Fuzzing for Real-Time Operating Systems"],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":45,"alternative-id":["10.1145\/3548606.3559367","10.1145\/3548606"],"URL":"https:\/\/doi.org\/10.1145\/3548606.3559367","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}