{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T07:51:51Z","timestamp":1790927511372,"version":"4.1.0"},"reference-count":55,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA1","license":[{"start":{"date-parts":[[2023,4,6]],"date-time":"2023-04-06T00:00:00Z","timestamp":1680739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2023,4,6]]},"abstract":"<jats:p>Coverage-guided fuzzing is one of the most effective approaches for discovering software defects and vulnerabilities. It executes all mutated tests from seed inputs to expose coverage-increasing tests. However, executing all mutated tests incurs significant performance penalties---most of the mutated tests are discarded because they do not increase code coverage. Thus, determining if a test increases code coverage without actually executing it is beneficial, but a paradoxical challenge. In this paper, we introduce the notion of prefix-guided execution (PGE) to tackle this challenge. PGE leverages two key observations: (1) Only a tiny fraction of the mutated tests increase coverage, thus requiring full execution; and (2) whether a test increases coverage may be accurately inferred from its partial execution. PGE monitors the execution of a test and applies early termination when the execution prefix indicates that the test is unlikely to increase coverage.<\/jats:p>\n                  <jats:p>To demonstrate the potential of PGE, we implement a prototype on top of AFL++, which we call AFL++-PGE. We evaluate AFL++-PGE on MAGMA, a ground-truth benchmark set that consists of 21 programs from nine popular real-world projects. Our results show that, after 48 hours of fuzzing, AFL++-PGE finds more bugs, discovers bugs faster, and achieves higher coverage.  \nPrefix-guided execution is general and can benefit the AFL-based family of fuzzers.<\/jats:p>","DOI":"10.1145\/3586027","type":"journal-article","created":{"date-parts":[[2023,4,6]],"date-time":"2023-04-06T17:06:02Z","timestamp":1680800762000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Accelerating Fuzzing through Prefix-Guided Execution"],"prefix":"10.1145","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7556-3615","authenticated-orcid":false,"given":"Shaohua","family":"Li","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}],"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, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,4,6]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Mike Aizatsky Kostya Serebryany Oliver Chang Abhishek Arya and Meredith Whittaker. 2016. Announcing OSS-Fuzz: Continuous fuzzing for open source software. Google Testing Blog. \t\t\t\t  Mike Aizatsky Kostya Serebryany Oliver Chang Abhishek Arya and Meredith Whittaker. 2016. Announcing OSS-Fuzz: Continuous fuzzing for open source software. Google Testing Blog."},{"key":"e_1_2_1_2_1","unstructured":"Austin Appleby. 2016. MurmurHash3. https:\/\/github.com\/aappleby\/smhasher\/wiki\/MurmurHash3 \t\t\t\t  Austin Appleby. 2016. MurmurHash3. https:\/\/github.com\/aappleby\/smhasher\/wiki\/MurmurHash3"},{"key":"e_1_2_1_3_1","first-page":"1","article-title":"REDQUEEN: Fuzzing with Input-to-State Correspondence","volume":"19","author":"Aschermann Cornelius","year":"2019","unstructured":"Cornelius Aschermann , Sergej Schumilo , Tim Blazytko , Robert Gawlik , and Thorsten Holz . 2019 . REDQUEEN: Fuzzing with Input-to-State Correspondence .. In Network and Distributed System Security. 19 , 1 \u2013 15 . Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, Robert Gawlik, and Thorsten Holz. 2019. REDQUEEN: Fuzzing with Input-to-State Correspondence.. In Network and Distributed System Security. 19, 1\u201315.","journal-title":"Network and Distributed System Security."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409729"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2785841"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243849"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00046"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363225"},{"key":"e_1_2_1_10_1","volume-title":"MEUZZ: Smart Seed Scheduling for Hybrid Fuzzing. In 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID","author":"Chen Yaohui","year":"2020","unstructured":"Yaohui Chen , Mansour Ahmadi , Boyu Wang , and Long Lu . 2020 . MEUZZ: Smart Seed Scheduling for Hybrid Fuzzing. In 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020). 77\u201392. Yaohui Chen, Mansour Ahmadi, Boyu Wang, and Long Lu. 2020. MEUZZ: Smart Seed Scheduling for Hybrid Fuzzing. In 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020). 77\u201392."},{"key":"e_1_2_1_11_1","volume-title":"2020 IEEE Symposium on Security and Privacy (SP). 1580\u20131596","author":"Chen Yaohui","year":"2020","unstructured":"Yaohui Chen , Peng Li , Jun Xu , Shengjian Guo , Rundong Zhou , Yulong Zhang , Tao Wei , and Long Lu . 2020 . Savior: Towards bug-driven hybrid testing . In 2020 IEEE Symposium on Security and Privacy (SP). 1580\u20131596 . Yaohui Chen, Peng Li, Jun Xu, Shengjian Guo, Rundong Zhou, Yulong Zhang, Tao Wei, and Long Lu. 2020. Savior: Towards bug-driven hybrid testing. In 2020 IEEE Symposium on Security and Privacy (SP). 1580\u20131596."},{"key":"e_1_2_1_12_1","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Fioraldi Andrea","year":"2021","unstructured":"Andrea Fioraldi , Daniele Cono D\u2019Elia , and Davide Balzarotti . 2021 . The Use of Likely Invariants as Feedback for Fuzzers . In 30th USENIX Security Symposium (USENIX Security 21) . 2829\u20132846. Andrea Fioraldi, Daniele Cono D\u2019Elia, and Davide Balzarotti. 2021. The Use of Likely Invariants as Feedback for Fuzzers. In 30th USENIX Security Symposium (USENIX Security 21). 2829\u20132846."},{"key":"e_1_2_1_13_1","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT 20)","author":"Fioraldi Andrea","year":"2020","unstructured":"Andrea Fioraldi , Dominik Maier , Heiko Ei\u00df feldt, and Marc Heuse . 2020 . $AFL++$: Combining Incremental Steps of Fuzzing Research . In 14th USENIX Workshop on Offensive Technologies (WOOT 20) . Andrea Fioraldi, Dominik Maier, Heiko Ei\u00df feldt, and Marc Heuse. 2020. $AFL++$: Combining Incremental Steps of Fuzzing Research. In 14th USENIX Workshop on Offensive Technologies (WOOT 20)."},{"key":"e_1_2_1_14_1","volume-title":"Heiko Ei\u00df feldt, and Marc Heuse","author":"Fioraldi Andrea","year":"2022","unstructured":"Andrea Fioraldi , Dominik Maier , Heiko Ei\u00df feldt, and Marc Heuse . 2022 . American Fuzzy Lop plus plus (AFL ++). https:\/\/github.com\/AFLplusplus\/AFLplusplus\/releases\/tag\/4.01c Andrea Fioraldi, Dominik Maier, Heiko Ei\u00df feldt, and Marc Heuse. 2022. American Fuzzy Lop plus plus (AFL++). https:\/\/github.com\/AFLplusplus\/AFLplusplus\/releases\/tag\/4.01c"},{"key":"e_1_2_1_15_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Gan Shuitao","year":"2020","unstructured":"Shuitao Gan , Chao Zhang , Peng Chen , Bodong Zhao , Xiaojun Qin , Dong Wu , and Zuoning Chen . 2020 . GREYONE: Data flow sensitive fuzzing . In 29th USENIX Security Symposium (USENIX Security 20) . 2577\u20132594. Shuitao Gan, Chao Zhang, Peng Chen, Bodong Zhao, Xiaojun Qin, Dong Wu, and Zuoning Chen. 2020. GREYONE: Data flow sensitive fuzzing. In 29th USENIX Security Symposium (USENIX Security 20). 2577\u20132594."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115618"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428334"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464795"},{"key":"e_1_2_1_19_1","volume-title":"Symposium on Network and Distributed System Security, Workshop on Binary Analysis Research.","author":"Hsu Chin-Chia","year":"2018","unstructured":"Chin-Chia Hsu , Che-Yu Wu , Hsu-Chun Hsiao , and Shih-Kun Huang . 2018 . Instrim: Lightweight instrumentation for coverage-guided fuzzing . In Symposium on Network and Distributed System Security, Workshop on Binary Analysis Research. Chin-Chia Hsu, Che-Yu Wu, Hsu-Chun Hsiao, and Shih-Kun Huang. 2018. Instrim: Lightweight instrumentation for coverage-guided fuzzing. In Symposium on Network and Distributed System Security, Workshop on Binary Analysis Research."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00063"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1958.10501452"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238176"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7727577"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106295"},{"key":"e_1_2_1_26_1","volume-title":"UNIFUZZ: A Holistic and Pragmatic Metrics-Driven Platform for Evaluating Fuzzers. In 30th USENIX Security Symposium (USENIX Security 21)","author":"Li Yuwei","year":"2021","unstructured":"Yuwei Li , Shouling Ji , Yuan Chen , Sizhuang Liang , Wei-Han Lee , Yueyao Chen , Chenyang Lyu , Chunming Wu , Raheem Beyah , and Peng Cheng . 2021 . UNIFUZZ: A Holistic and Pragmatic Metrics-Driven Platform for Evaluating Fuzzers. In 30th USENIX Security Symposium (USENIX Security 21) . Yuwei Li, Shouling Ji, Yuan Chen, Sizhuang Liang, Wei-Han Lee, Yueyao Chen, Chenyang Lyu, Chunming Wu, Raheem Beyah, and Peng Cheng. 2021. UNIFUZZ: A Holistic and Pragmatic Metrics-Driven Platform for Evaluating Fuzzers. In 30th USENIX Security Symposium (USENIX Security 21)."},{"key":"e_1_2_1_27_1","unstructured":"LLVM team. 2021. SanitizerCoverage. https:\/\/releases.llvm.org\/11.0.1\/tools\/clang\/docs\/SanitizerCoverage.html \t\t\t\t  LLVM team. 2021. SanitizerCoverage. https:\/\/releases.llvm.org\/11.0.1\/tools\/clang\/docs\/SanitizerCoverage.html"},{"key":"e_1_2_1_28_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Lyu Chenyang","year":"2019","unstructured":"Chenyang Lyu , Shouling Ji , Chao Zhang , Yuwei Li , Wei-Han Lee , Yu Song , and Raheem Beyah . 2019 . $MOPT$: Optimized mutation scheduling for fuzzers . In 28th USENIX Security Symposium (USENIX Security 19) . 1949\u20131966. Chenyang Lyu, Shouling Ji, Chao Zhang, Yuwei Li, Wei-Han Lee, Yu Song, and Raheem Beyah. 2019. $MOPT$: Optimized mutation scheduling for fuzzers. In 28th USENIX Security Symposium (USENIX Security 19). 1949\u20131966."},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering. 1024\u20131036","author":"Man\u00e8s Valentin JM","year":"2020","unstructured":"Valentin JM Man\u00e8s , Soomin Kim , and Sang Kil Cha . 2020 . Ankou: Guiding grey-box fuzzing towards combinatorial difference . In Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering. 1024\u20131036 . Valentin JM Man\u00e8s, Soomin Kim, and Sang Kil Cha. 2020. Ankou: Guiding grey-box fuzzing towards combinatorial difference. In Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering. 1024\u20131036."},{"key":"e_1_2_1_30_1","article-title":"The art, science, and engineering of fuzzing: A survey","author":"Marie Man\u00e8s Valentin Jean","year":"2019","unstructured":"Valentin Jean Marie Man\u00e8s , HyungSeok Han , Choongwoo Han , Sang Kil Cha , Manuel Egele , Edward J Schwartz , and Maverick Woo . 2019 . The art, science, and engineering of fuzzing: A survey . IEEE Transactions on Software Engineering. Valentin Jean Marie Man\u00e8s, HyungSeok Han, Choongwoo Han, Sang Kil Cha, Manuel Egele, Edward J Schwartz, and Maverick Woo. 2019. The art, science, and engineering of fuzzing: A survey. IEEE Transactions on Software Engineering.","journal-title":"IEEE Transactions on Software Engineering."},{"key":"e_1_2_1_31_1","first-page":"163","article-title":"Evaluation of survival data and two new rank order statistics arising in its consideration","volume":"50","author":"Mantel Nathan","year":"1966","unstructured":"Nathan Mantel . 1966 . Evaluation of survival data and two new rank order statistics arising in its consideration . Cancer Chemother Rep , 50 , 3 (1966), 163 \u2013 170 . Nathan Mantel. 1966. Evaluation of survival data and two new rank order statistics arising in its consideration. Cancer Chemother Rep, 50, 3 (1966), 163\u2013170.","journal-title":"Cancer Chemother Rep"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397348"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00069"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484787"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213868"},{"key":"e_1_2_1_36_1","volume-title":"2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE). 1273\u20131285","author":"Noller Yannic","year":"2020","unstructured":"Yannic Noller , Corina S P\u0103s\u0103reanu , Marcel B\u00f6hme , Youcheng Sun , Hoang Lam Nguyen , and Lars Grunske . 2020 . HyDiff: Hybrid differential software analysis . In 2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE). 1273\u20131285 . Yannic Noller, Corina S P\u0103s\u0103reanu, Marcel B\u00f6hme, Youcheng Sun, Hoang Lam Nguyen, and Lars Grunske. 2020. HyDiff: Hybrid differential software analysis. In 2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE). 1273\u20131285."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00056"},{"key":"e_1_2_1_38_1","volume-title":"2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). 460\u2013465","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 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). 460\u2013465 . Van-Thuan Pham, Marcel B\u00f6hme, and Abhik Roychoudhury. 2020. AFLNet: a greybox fuzzer for network protocols. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). 460\u2013465."},{"key":"e_1_2_1_39_1","unstructured":"Mohit Rajpal William Blum and Rishabh Singh. 2017. Not all bytes are equal: Neural byte sieve for fuzzing. arXiv preprint arXiv:1711.04596. \t\t\t\t  Mohit Rajpal William Blum and Rishabh Singh. 2017. Not all bytes are equal: Neural byte sieve for fuzzing. arXiv preprint arXiv:1711.04596."},{"key":"e_1_2_1_40_1","first-page":"1","article-title":"VUzzer: Application-aware Evolutionary Fuzzing","volume":"17","author":"Rawat Sanjay","year":"2017","unstructured":"Sanjay Rawat , Vivek Jain , Ashish Kumar , Lucian Cojocar , Cristiano Giuffrida , and Herbert Bos . 2017 . VUzzer: Application-aware Evolutionary Fuzzing .. In Network and Distributed System Security. 17 , 1 \u2013 14 . Sanjay Rawat, Vivek Jain, Ashish Kumar, Lucian Cojocar, Cristiano Giuffrida, and Herbert Bos. 2017. VUzzer: Application-aware Evolutionary Fuzzing.. In Network and Distributed System Security. 17, 1\u201314.","journal-title":"Network and Distributed System Security."},{"key":"e_1_2_1_41_1","volume-title":"The evidential foundations of probabilistic reasoning","author":"Schum David A","unstructured":"David A Schum . 2001. The evidential foundations of probabilistic reasoning . Northwestern University Press . David A Schum. 2001. The evidential foundations of probabilistic reasoning. Northwestern University Press."},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 737\u2013749","author":"She Dongdong","year":"2020","unstructured":"Dongdong She , Rahul Krishna , Lu Yan , Suman Jana , and Baishakhi Ray . 2020 . MTFuzz: fuzzing with a multi-task neural network . In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 737\u2013749 . Dongdong She, Rahul Krishna, Lu Yan, Suman Jana, and Baishakhi Ray. 2020. MTFuzz: fuzzing with a multi-task neural network. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 737\u2013749."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00052"},{"key":"e_1_2_1_44_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Song Dokyung","year":"2020","unstructured":"Dokyung Song , Felicitas Hetzelt , Jonghwan Kim , Brent Byunghoon Kang , Jean-Pierre Seifert , and Michael Franz . 2020 . Agamotto: Accelerating kernel driver fuzzing with lightweight virtual machine checkpoints . In 29th USENIX Security Symposium (USENIX Security 20) . 2541\u20132557. Dokyung Song, Felicitas Hetzelt, Jonghwan Kim, Brent Byunghoon Kang, Jean-Pierre Seifert, and Michael Franz. 2020. Agamotto: Accelerating kernel driver fuzzing with lightweight virtual machine checkpoints. In 29th USENIX Security Symposium (USENIX Security 20). 2541\u20132557."},{"key":"e_1_2_1_45_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 Network and Distributed System Security. 16 , 1 \u2013 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 Network and Distributed System Security. 16, 1\u201316.","journal-title":"Network and Distributed System Security."},{"key":"e_1_2_1_46_1","unstructured":"Jonas Benedict Wagner. 2017. Elastic program transformations: automatically optimizing the reliability\/performance trade-off in systems software. Ph. D. Dissertation. Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne. \t\t\t\t  Jonas Benedict Wagner. 2017. Elastic program transformations: automatically optimizing the reliability\/performance trade-off in systems software. Ph. D. Dissertation. Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380386"},{"key":"e_1_2_1_48_1","volume-title":"2017 IEEE Symposium on Security and Privacy (SP). 579\u2013594","author":"Wang Junjie","year":"2017","unstructured":"Junjie Wang , Bihuan Chen , Lei Wei , and Yang Liu . 2017 . Skyfire: Data-driven seed generation for fuzzing . In 2017 IEEE Symposium on Security and Privacy (SP). 579\u2013594 . Junjie Wang, Bihuan Chen, Lei Wei, and Yang Liu. 2017. Skyfire: Data-driven seed generation for fuzzing. In 2017 IEEE Symposium on Security and Privacy (SP). 579\u2013594."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183494"},{"key":"e_1_2_1_50_1","volume-title":"2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE). 789\u2013800","author":"W\u00fcstholz Valentin","year":"2020","unstructured":"Valentin W\u00fcstholz and Maria Christakis . 2020 . Targeted greybox fuzzing with static lookahead analysis . In 2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE). 789\u2013800 . Valentin W\u00fcstholz and Maria Christakis. 2020. Targeted greybox fuzzing with static lookahead analysis. In 2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE). 789\u2013800."},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. 2313\u20132328","author":"Xu Wen","year":"2017","unstructured":"Wen Xu , Sanidhya Kashyap , Changwoo Min , and Taesoo Kim . 2017 . Designing new operating primitives to improve fuzzing performance . In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. 2313\u20132328 . Wen Xu, Sanidhya Kashyap, Changwoo Min, and Taesoo Kim. 2017. Designing new operating primitives to improve fuzzing performance. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. 2313\u20132328."},{"key":"e_1_2_1_52_1","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Yun Insu","year":"2018","unstructured":"Insu Yun , Sangho Lee , Meng Xu , Yeongjin Jang , and Taesoo Kim . 2018 . $QSYM$: A practical concolic execution engine tailored for hybrid fuzzing . In 27th USENIX Security Symposium (USENIX Security 18) . 745\u2013761. Insu Yun, Sangho Lee, Meng Xu, Yeongjin Jang, and Taesoo Kim. 2018. $QSYM$: A practical concolic execution engine tailored for hybrid fuzzing. In 27th USENIX Security Symposium (USENIX Security 18). 745\u2013761."},{"key":"e_1_2_1_53_1","unstructured":"Micha\u0142 Zalewski. 2014. American fuzzy lop. https:\/\/lcamtuf.coredump.cx\/afl\/ \t\t\t\t  Micha\u0142 Zalewski. 2014. American fuzzy lop. https:\/\/lcamtuf.coredump.cx\/afl\/"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416572"},{"key":"e_1_2_1_55_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Zong Peiyuan","year":"2020","unstructured":"Peiyuan Zong , Tao Lv , Dawei Wang , Zizhuang Deng , Ruigang Liang , and Kai Chen . 2020 . Fuzzguard: Filtering out unreachable inputs in directed grey-box fuzzing through deep learning . In 29th USENIX Security Symposium (USENIX Security 20) . Peiyuan Zong, Tao Lv, Dawei Wang, Zizhuang Deng, Ruigang Liang, and Kai Chen. 2020. Fuzzguard: Filtering out unreachable inputs in directed grey-box fuzzing through deep learning. In 29th USENIX Security Symposium (USENIX Security 20)."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3586027","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3586027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T12:46:10Z","timestamp":1750164370000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3586027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,6]]},"references-count":55,"journal-issue":{"issue":"OOPSLA1","published-print":{"date-parts":[[2023,4,6]]}},"alternative-id":["10.1145\/3586027"],"URL":"https:\/\/doi.org\/10.1145\/3586027","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,4,6]]},"assertion":[{"value":"2023-04-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}