{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T15:38:59Z","timestamp":1779896339097,"version":"3.53.1"},"publisher-location":"New York, NY, USA","reference-count":70,"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":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-18-42456; CNS-18-01426; CAREER award; Graduate Research Fellowship"],"award-info":[{"award-number":["CNS-18-42456; CNS-18-01426; CAREER award; Graduate Research Fellowship"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","award":["Faculty Fellowship"],"award-info":[{"award-number":["Faculty Fellowship"]}],"id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100004332","name":"JPMorgan Chase and Company","doi-asserted-by":"publisher","award":["Faculty Fellowship"],"award-info":[{"award-number":["Faculty Fellowship"]}],"id":[{"id":"10.13039\/100004332","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100004705","name":"Capital One Financial Corporation","doi-asserted-by":"publisher","award":["Research Grant"],"award-info":[{"award-number":["Research Grant"]}],"id":[{"id":"10.13039\/100004705","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100014188","name":"Ministry of Science and ICT, South Korea","doi-asserted-by":"publisher","award":["Institute of Information & Communications Technology Planning & Evaluation (IITP) grant: No.2020-0-00153)"],"award-info":[{"award-number":["Institute of Information & Communications Technology Planning & Evaluation (IITP) grant: No.2020-0-00153)"]}],"id":[{"id":"10.13039\/501100014188","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3548606.3560648","type":"proceedings-article","created":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T11:41:28Z","timestamp":1667821288000},"page":"2595-2609","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["MC2"],"prefix":"10.1145","author":[{"given":"Abhishek","family":"Shah","sequence":"first","affiliation":[{"name":"Columbia University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dongdong","family":"She","sequence":"additional","affiliation":[{"name":"Columbia University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samanway","family":"Sadhu","sequence":"additional","affiliation":[{"name":"Columbia University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krish","family":"Singal","sequence":"additional","affiliation":[{"name":"Columbia University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Coffman","sequence":"additional","affiliation":[{"name":"Columbia University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Suman","family":"Jana","sequence":"additional","affiliation":[{"name":"Columbia University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2022. AFLGo Max Input Size. https:\/\/github.com\/aflgo\/aflgo\/blob\/ b170fad54396f376160befd87adbba28b27c15d9\/config.h#L142.  2022. AFLGo Max Input Size. https:\/\/github.com\/aflgo\/aflgo\/blob\/ b170fad54396f376160befd87adbba28b27c15d9\/config.h#L142."},{"key":"e_1_3_2_1_2_1","unstructured":"2022. Fuzzer Test Suite. https:\/\/github.com\/google\/fuzzer-test-suite.  2022. Fuzzer Test Suite. https:\/\/github.com\/google\/fuzzer-test-suite."},{"key":"e_1_3_2_1_3_1","volume-title":"ParmeSan Max Input Size. https:\/\/github.com\/vusec\/parmesan\/blob\/ fac580130146c07a2a0f82a24dfe0704e1851ab3\/common\/src\/config.rs#L12","unstructured":"2022. ParmeSan Max Input Size. https:\/\/github.com\/vusec\/parmesan\/blob\/ fac580130146c07a2a0f82a24dfe0704e1851ab3\/common\/src\/config.rs#L12 . 2022. ParmeSan Max Input Size. https:\/\/github.com\/vusec\/parmesan\/blob\/ fac580130146c07a2a0f82a24dfe0704e1851ab3\/common\/src\/config.rs#L12."},{"key":"e_1_3_2_1_4_1","unstructured":"2022. Undefined Behavior Sanitizer. https:\/\/clang.llvm.org\/docs\/ UndefinedBehaviorSanitizer.html.  2022. Undefined Behavior Sanitizer. https:\/\/clang.llvm.org\/docs\/ UndefinedBehaviorSanitizer.html."},{"key":"e_1_3_2_1_5_1","unstructured":"Scott Aaronson Andris Ambainis Andrej Bogdanov Krishnamoorthy Dinesh and Cheung Tsun Ming. 2021. On Quantum Versus Classical Query Complexity. Electron. Colloquium Comput. Complex. (2021) 115.  Scott Aaronson Andris Ambainis Andrej Bogdanov Krishnamoorthy Dinesh and Cheung Tsun Ming. 2021. On Quantum Versus Classical Query Complexity. Electron. Colloquium Comput. Complex. (2021) 115."},{"key":"e_1_3_2_1_6_1","volume-title":"International Congress of Mathematicians: Rio de Janeiro. World Scientific, 3265--3285","author":"Ambainis Andris","year":"2018","unstructured":"Andris Ambainis . 2018 . Understanding Quantum Algorithms via Query Complexity . In International Congress of Mathematicians: Rio de Janeiro. World Scientific, 3265--3285 . Andris Ambainis. 2018. Understanding Quantum Algorithms via Query Complexity. In International Congress of Mathematicians: Rio de Janeiro. World Scientific, 3265--3285."},{"key":"e_1_3_2_1_7_1","volume-title":"The Multiplicative Weights Update Method: a Meta-Algorithm and Applications. Theory of Computing","author":"Arora Sanjeev","year":"2012","unstructured":"Sanjeev Arora , Elad Hazan , and Satyen Kale . 2012. The Multiplicative Weights Update Method: a Meta-Algorithm and Applications. Theory of Computing ( 2012 ), 121--164. Sanjeev Arora, Elad Hazan, and Satyen Kale. 2012. The Multiplicative Weights Update Method: a Meta-Algorithm and Applications. Theory of Computing (2012), 121--164."},{"key":"e_1_3_2_1_8_1","volume-title":"REDQUEEN: Fuzzing with Input-to-State Correspondence. In 26th Annual Network and Distributed System Security Symposium. The Internet Society.","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 26th Annual Network and Distributed System Security Symposium. The Internet Society. Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, Robert Gawlik, and Thorsten Holz. 2019. REDQUEEN: Fuzzing with Input-to-State Correspondence. In 26th Annual Network and Distributed System Security Symposium. The Internet Society."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/30132.30134"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2008.58"},{"key":"e_1_3_2_1_11_1","volume-title":"Estimating Residual Risk in Greybox Fuzzing. In 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 230--241","author":"B\u00f6hme Marcel","year":"2021","unstructured":"Marcel B\u00f6hme , Danushka Liyanage , and Valentin W\u00fcstholz . 2021 . Estimating Residual Risk in Greybox Fuzzing. In 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 230--241 . Marcel B\u00f6hme, Danushka Liyanage, and Valentin W\u00fcstholz. 2021. Estimating Residual Risk in Greybox Fuzzing. In 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 230--241."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409748"},{"key":"e_1_3_2_1_13_1","volume-title":"Directed Greybox Fuzzing. In ACM SIGSAC Conference on Computer and Communications Security. ACM, 2329--2344","author":"B\u00f6hme Marcel","year":"2017","unstructured":"Marcel B\u00f6hme , Van-Thuan Pham , Manh-Dung Nguyen , and Abhik Roychoudhury . 2017 . Directed Greybox Fuzzing. In ACM SIGSAC Conference on Computer and Communications Security. ACM, 2329--2344 . Marcel B\u00f6hme, Van-Thuan Pham, Manh-Dung Nguyen, and Abhik Roychoudhury. 2017. Directed Greybox Fuzzing. In ACM SIGSAC Conference on Computer and Communications Security. ACM, 2329--2344."},{"key":"e_1_3_2_1_14_1","volume-title":"Engler","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson R . Engler . 2008 . KLEE : Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation. USENIX Association , 209--224. Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation. USENIX Association, 209--224."},{"key":"e_1_3_2_1_15_1","volume-title":"Vardi","author":"Chakraborty Supratik","year":"2013","unstructured":"Supratik Chakraborty , Kuldeep S. Meel , and Moshe Y . Vardi . 2013 . A Scalable Approximate Model Counter. In Principles and Practice of Constraint Programming - 19th International Conference (Lecture Notes in Computer Science , Vol. 8124). Springer, 200-- 216 . Supratik Chakraborty, Kuldeep S. Meel, and Moshe Y. Vardi. 2013. A Scalable Approximate Model Counter. In Principles and Practice of Constraint Programming - 19th International Conference (Lecture Notes in Computer Science, Vol. 8124). Springer, 200--216."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243849"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00046"},{"key":"e_1_3_2_1_18_1","volume-title":"Chen and Joshua Goodman","author":"Stanley","year":"1996","unstructured":"Stanley F. Chen and Joshua Goodman . 1996 . An Empirical Study of Smoothing Techniques for Language Modeling. In 34th Annual Meeting of the Association for Computational Linguistics. Morgan Kaufmann Publishers \/ ACL , 310--318. Stanley F. Chen and Joshua Goodman. 1996. An Empirical Study of Smoothing Techniques for Language Modeling. In 34th Annual Meeting of the Association for Computational Linguistics. Morgan Kaufmann Publishers \/ ACL, 310--318."},{"key":"e_1_3_2_1_19_1","volume-title":"SAVIOR: Towards Bug-Driven Hybrid Testing. In IEEE Symposium on Security and Privacy. IEEE, 1580--1596","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 IEEE Symposium on Security and Privacy. IEEE, 1580--1596 . 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 IEEE Symposium on Security and Privacy. IEEE, 1580--1596."},{"key":"e_1_3_2_1_20_1","volume-title":"Approximate Counters for Flash Memory. In 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE Computer Society, 185--189","author":"Cichon Jacek","year":"2011","unstructured":"Jacek Cichon and Wojciech Macyna . 2011 . Approximate Counters for Flash Memory. In 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE Computer Society, 185--189 . Jacek Cichon and Wojciech Macyna. 2011. Approximate Counters for Flash Memory. In 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE Computer Society, 185--189."},{"key":"e_1_3_2_1_21_1","volume-title":"Combinatorial Algorithms - 32nd International Workshop (Lecture Notes in Computer Science","author":"Dereniowski Dariusz","unstructured":"Dariusz Dereniowski , Aleksander Lukasiewicz , and Przemyslaw Uznanski . 2021. An Efficient Noisy Binary Search in Graphs via Median Approximation . In Combinatorial Algorithms - 32nd International Workshop (Lecture Notes in Computer Science , Vol. 12757). Springer, 265-- 281 . Dariusz Dereniowski, Aleksander Lukasiewicz, and Przemyslaw Uznanski. 2021. An Efficient Noisy Binary Search in Graphs via Median Approximation. In Combinatorial Algorithms - 32nd International Workshop (Lecture Notes in Computer Science, Vol. 12757). Springer, 265--281."},{"key":"e_1_3_2_1_22_1","volume-title":"Dubhashi and Alessandro Panconesi","author":"Devdatt","year":"2009","unstructured":"Devdatt P. Dubhashi and Alessandro Panconesi . 2009 . Concentration of Measure for the Analysis of Randomized Algorithms. Cambridge University Press . Devdatt P. Dubhashi and Alessandro Panconesi. 2009. Concentration of Measure for the Analysis of Randomized Algorithms. Cambridge University Press."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/net.1975.5.2.151"},{"key":"e_1_3_2_1_24_1","volume-title":"GREYONE: Data Flow Sensitive Fuzzing. In 29th USENIX Security Symposium. USENIX Association, 2577--2594","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 Association, 2577--2594 . 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 Association, 2577--2594."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_26_1","volume-title":"Automated Whitebox Fuzz Testing. In Network and Distributed System Security Symposium. The Internet Society.","author":"Godefroid Patrice","unstructured":"Patrice Godefroid , Michael Y. Levin , and David A. Molnar . 2008 . Automated Whitebox Fuzz Testing. In Network and Distributed System Security Symposium. The Internet Society. Patrice Godefroid, Michael Y. Levin, and David A. Molnar. 2008. Automated Whitebox Fuzz Testing. In Network and Distributed System Security Symposium. The Internet Society."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428334"},{"key":"e_1_3_2_1_28_1","volume-title":"Seed Selection for Successful Fuzzing. In 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery.","author":"Herrera Adrian","unstructured":"Adrian Herrera , Hendra Gunadi , Shane Magrath , Michael Norrish , Mathias Payer , and Antony L. Hosking . 2021 . Seed Selection for Successful Fuzzing. In 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery. Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, and Antony L. Hosking. 2021. Seed Selection for Successful Fuzzing. In 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery."},{"key":"e_1_3_2_1_29_1","volume-title":"Beacon: Directed Grey-Box Fuzzing with Provable Path Pruning. In IEEE Symposium on Security and Privacy.","author":"Huang Heqing","year":"2022","unstructured":"Heqing Huang , Yiyuan Guo , Qingkai Shi , Peisen Yao , Rongxin Wu , and Charles Zhang . 2022 . Beacon: Directed Grey-Box Fuzzing with Provable Path Pruning. In IEEE Symposium on Security and Privacy. Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang. 2022. Beacon: Directed Grey-Box Fuzzing with Provable Path Pruning. In IEEE Symposium on Security and Privacy."},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 28th USENIX Security Symposium.","author":"Jung Jinho","year":"2019","unstructured":"Jinho Jung , Hong Hu , David Solodukhin , Daniel Pagan , Kyu Hyung Lee , and Taesoo Kim . 2019 . Fuzzification: Anti-Fuzzing Techniques . In Proceedings of the 28th USENIX Security Symposium. Jinho Jung, Hong Hu, David Solodukhin, Daniel Pagan, Kyu Hyung Lee, and Taesoo Kim. 2019. Fuzzification: Anti-Fuzzing Techniques. In Proceedings of the 28th USENIX Security Symposium."},{"key":"e_1_3_2_1_31_1","volume-title":"Karp and Robert Kleinberg","author":"Richard","year":"2007","unstructured":"Richard M. Karp and Robert Kleinberg . 2007 . Noisy Binary Search and its Applications. In Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM , 881--890. Richard M. Karp and Robert Kleinberg. 2007. Noisy Binary Search and its Applications. In Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM, 881--890."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0196-6774(89)90038-2"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1021\/ci4005817"},{"key":"e_1_3_2_1_34_1","volume-title":"LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization (CGO '04)","author":"Lattner Chris","year":"2004","unstructured":"Chris Lattner and Vikram Adve . 2004 . LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization (CGO '04) . IEEE Computer Society, 75--. Chris Lattner and Vikram Adve. 2004. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization (CGO '04). IEEE Computer Society, 75--."},{"key":"e_1_3_2_1_35_1","volume-title":"Constraint-guided Directed Greybox Fuzzing. In 30th USENIX Security Symposium. USENIX Association, 3559--3576","author":"Lee Gwangmu","year":"2021","unstructured":"Gwangmu Lee , Woochul Shim , and Byoungyoung Lee . 2021 . Constraint-guided Directed Greybox Fuzzing. In 30th USENIX Security Symposium. USENIX Association, 3559--3576 . Gwangmu Lee, Woochul Shim, and Byoungyoung Lee. 2021. Constraint-guided Directed Greybox Fuzzing. In 30th USENIX Security Symposium. USENIX Association, 3559--3576."},{"key":"e_1_3_2_1_36_1","volume-title":"33rd IEEE\/ACM International Conference on Automated Software Engineering. ACM.","author":"Lemieux Caroline","year":"2018","unstructured":"Caroline Lemieux and Koushik Sen . 2018 . Fairfuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage . In 33rd IEEE\/ACM International Conference on Automated Software Engineering. ACM. Caroline Lemieux and Koushik Sen. 2018. Fairfuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage. In 33rd IEEE\/ACM International Conference on Automated Software Engineering. ACM."},{"key":"e_1_3_2_1_37_1","volume-title":"Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-based Testing. In 29th International Symposium on Software Testing and Analysis.","author":"Lin Yun","year":"2020","unstructured":"Yun Lin , Jun Sun , Gordon Fraser , Ziheng Xiu , Ting Liu , and Jin Song Dong . 2020 . Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-based Testing. In 29th International Symposium on Software Testing and Analysis. Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, and Jin Song Dong. 2020. Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-based Testing. In 29th International Symposium on Software Testing and Analysis."},{"key":"e_1_3_2_1_38_1","volume-title":"MOPT: Optimized Mutation Scheduling for Fuzzers. In 28th USENIX Security Symposium. USENIX Association","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 Association , 1949--1966. 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 Association, 1949--1966."},{"key":"e_1_3_2_1_39_1","volume-title":"Empirical Bernstein Bounds and Sample-Variance Penalization. In The 22nd Conference on Learning Theory.","author":"Maurer Andreas","year":"2009","unstructured":"Andreas Maurer and Massimiliano Pontil . 2009 . Empirical Bernstein Bounds and Sample-Variance Penalization. In The 22nd Conference on Learning Theory. Andreas Maurer and Massimiliano Pontil. 2009. Empirical Bernstein Bounds and Sample-Variance Penalization. In The 22nd Conference on Learning Theory."},{"key":"e_1_3_2_1_40_1","volume-title":"International Conference on Software Engineering.","author":"Meng Ruijie","year":"2022","unstructured":"Ruijie Meng , Zhen Dong , Jialin Li , Ivan Beschastnikh , and Abhik Roychoudhury . 2022 . Finding Counterexamples of Temporal Logic Properties in Software Implementations via Greybox Fuzzing . In International Conference on Software Engineering. Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, and Abhik Roychoudhury. 2022. Finding Counterexamples of Temporal Logic Properties in Software Implementations via Greybox Fuzzing. In International Conference on Software Engineering."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00069"},{"key":"e_1_3_2_1_42_1","volume-title":"ParmeSan: Sanitizer-guided Greybox Fuzzing. In 29th USENIX Security Symposium. USENIX Association, 2289--2306","author":"\u00d6sterlund Sebastian","year":"2020","unstructured":"Sebastian \u00d6sterlund , Kaveh Razavi , Herbert Bos , and Cristiano Giuffrida . 2020 . ParmeSan: Sanitizer-guided Greybox Fuzzing. In 29th USENIX Security Symposium. USENIX Association, 2289--2306 . Sebastian \u00d6sterlund, Kaveh Razavi, Herbert Bos, and Cristiano Giuffrida. 2020. ParmeSan: Sanitizer-guided Greybox Fuzzing. In 29th USENIX Security Symposium. USENIX Association, 2289--2306."},{"key":"e_1_3_2_1_43_1","volume-title":"X-Force: Force-Executing Binary Programs for Security Applications. In 23rd USENIX Security Symposium. USENIX Association, 829--844","author":"Peng Fei","year":"2014","unstructured":"Fei Peng , Zhui Deng , Xiangyu Zhang , Dongyan Xu , Zhiqiang Lin , and Zhendong Su . 2014 . X-Force: Force-Executing Binary Programs for Security Applications. In 23rd USENIX Security Symposium. USENIX Association, 829--844 . Fei Peng, Zhui Deng, Xiangyu Zhang, Dongyan Xu, Zhiqiang Lin, and Zhendong Su. 2014. X-Force: Force-Executing Binary Programs for Security Applications. In 23rd USENIX Security Symposium. USENIX Association, 829--844."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00056"},{"key":"e_1_3_2_1_45_1","first-page":"1980","article-title":"Smart Greybox Fuzzing","volume":"47","author":"Pham Van-Thuan","year":"2021","unstructured":"Van-Thuan Pham , Marcel B\u00f6hme , Andrew E. Santosa , Alexandru Razvan Caciulescu , and Abhik Roychoudhury . 2021 . Smart Greybox Fuzzing . IEEE Trans. Software Eng. 47 , 9 (2021), 1980 -- 1997 . Van-Thuan Pham, Marcel B\u00f6hme, Andrew E. Santosa, Alexandru Razvan Caciulescu, and Abhik Roychoudhury. 2021. Smart Greybox Fuzzing. IEEE Trans. Software Eng. 47, 9 (2021), 1980--1997.","journal-title":"IEEE Trans. Software Eng."},{"key":"e_1_3_2_1_46_1","volume-title":"29th USENIX Security Symposium. USENIX Association, 181--198","author":"Poeplau Sebastian","year":"2020","unstructured":"Sebastian Poeplau and Aur\u00e9lien Francillon . 2020 . Symbolic Execution with SymCC: Don't Interpret, Compile! . In 29th USENIX Security Symposium. USENIX Association, 181--198 . Sebastian Poeplau and Aur\u00e9lien Francillon. 2020. Symbolic Execution with SymCC: Don't Interpret, Compile!. In 29th USENIX Security Symposium. USENIX Association, 181--198."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.2017.0888"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/CNS48642.2020.9162273"},{"key":"e_1_3_2_1_49_1","unstructured":"Robert Sedgewick. 2002. Algorithms in C - Part 5: Graph Algorithms. AddisonWesley-Longman.  Robert Sedgewick. 2002. Algorithms in C - Part 5: Graph Algorithms. AddisonWesley-Longman."},{"key":"e_1_3_2_1_50_1","volume-title":"Data Structures and Algorithm Analysis in C","author":"Shaffer C.A.","unstructured":"C.A. Shaffer . 2012. Data Structures and Algorithm Analysis in C , Third Edition. Dover Publications . C.A. Shaffer. 2012. Data Structures and Algorithm Analysis in C, Third Edition. Dover Publications."},{"key":"e_1_3_2_1_51_1","volume-title":"Rigorous and Efficient Directed Greybox Fuzzing. arXiv:2208.14530","author":"Shah Abhishek","year":"2022","unstructured":"Abhishek Shah , Dongdong She , Samanway Sadhu , Krish Singal , Peter Coffman , and Suman Jana . 2022. MC2 : Rigorous and Efficient Directed Greybox Fuzzing. arXiv:2208.14530 ( 2022 ). Abhishek Shah, Dongdong She, Samanway Sadhu, Krish Singal, Peter Coffman, and Suman Jana. 2022. MC2 : Rigorous and Efficient Directed Greybox Fuzzing. arXiv:2208.14530 (2022)."},{"key":"e_1_3_2_1_52_1","volume-title":"Neutaint: Efficient Dynamic Taint Analysis with Neural Networks. In IEEE Symposium on Security and Privacy. IEEE, 1527--1543","author":"She Dongdong","year":"2020","unstructured":"Dongdong She , Yizheng Chen , Abhishek Shah , Baishakhi Ray , and Suman Jana . 2020 . Neutaint: Efficient Dynamic Taint Analysis with Neural Networks. In IEEE Symposium on Security and Privacy. IEEE, 1527--1543 . Dongdong She, Yizheng Chen, Abhishek Shah, Baishakhi Ray, and Suman Jana. 2020. Neutaint: Efficient Dynamic Taint Analysis with Neural Networks. In IEEE Symposium on Security and Privacy. IEEE, 1527--1543."},{"key":"e_1_3_2_1_53_1","volume-title":"NEUZZ: Efficient Fuzzing with Neural Program Smoothing. In IEEE Symposium on Security and Privacy. IEEE, 803--817","author":"She Dongdong","year":"2019","unstructured":"Dongdong She , Kexin Pei , Dave Epstein , Junfeng Yang , Baishakhi Ray , and Suman Jana . 2019 . NEUZZ: Efficient Fuzzing with Neural Program Smoothing. In IEEE Symposium on Security and Privacy. IEEE, 803--817 . Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, and Suman Jana. 2019. NEUZZ: Efficient Fuzzing with Neural Program Smoothing. In IEEE Symposium on Security and Privacy. IEEE, 803--817."},{"key":"e_1_3_2_1_54_1","volume-title":"Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis. In IEEE Symposium on Security and Privacy.","author":"She Dongdong","year":"2022","unstructured":"Dongdong She , Abhishek Shah , and Suman Jana . 2022 . Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis. In IEEE Symposium on Security and Privacy. Dongdong She, Abhishek Shah, and Suman Jana. 2022. Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis. In IEEE Symposium on Security and Privacy."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1561\/2200000068"},{"key":"e_1_3_2_1_56_1","volume-title":"Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In 23rd Annual Network and Distributed System Security Symposium. The Internet Society.","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 23rd Annual Network and Distributed System Security Symposium. The Internet Society. 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 23rd Annual Network and Distributed System Security Symposium. The Internet Society."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/800057.808710"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2018.2886881"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24422"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1080\/00401706.1962.10490022"},{"key":"e_1_3_2_1_61_1","volume-title":"SLF: Fuzzing Without Valid Seed Inputs. In 41st International Conference on Software Engineering. IEEE \/ ACM, 712--723","author":"You Wei","year":"2019","unstructured":"Wei You , Xuwei Liu , Shiqing Ma , David Mitchel Perry , Xiangyu Zhang , and Bin Liang . 2019 . SLF: Fuzzing Without Valid Seed Inputs. In 41st International Conference on Software Engineering. IEEE \/ ACM, 712--723 . Wei You, Xuwei Liu, Shiqing Ma, David Mitchel Perry, Xiangyu Zhang, and Bin Liang. 2019. SLF: Fuzzing Without Valid Seed Inputs. In 41st International Conference on Software Engineering. IEEE \/ ACM, 712--723."},{"key":"e_1_3_2_1_62_1","volume-title":"PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning. In IEEE Symposium on Security and Privacy. IEEE, 1121--1138","author":"You Wei","year":"2020","unstructured":"Wei You , Zhuo Zhang , Yonghwi Kwon , Yousra Aafer , Fei Peng , Yu Shi , Carson Harmon , and Xiangyu Zhang . 2020 . PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning. In IEEE Symposium on Security and Privacy. IEEE, 1121--1138 . Wei You, Zhuo Zhang, Yonghwi Kwon, Yousra Aafer, Fei Peng, Yu Shi, Carson Harmon, and Xiangyu Zhang. 2020. PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning. In IEEE Symposium on Security and Privacy. IEEE, 1121--1138."},{"key":"e_1_3_2_1_63_1","volume-title":"29th USENIX Security Symposium. USENIX Association, 2307--2324","author":"Yue Tai","year":"2020","unstructured":"Tai Yue , Pengfei Wang , Yong Tang , Enze Wang , Bo Yu , Kai Lu , and Xu Zhou . 2020 . EcoFuzz: Adaptive Energy-Saving Greybox Fuzzing as a Variant of the Adversarial Multi-Armed Bandit . In 29th USENIX Security Symposium. USENIX Association, 2307--2324 . Tai Yue, Pengfei Wang, Yong Tang, Enze Wang, Bo Yu, Kai Lu, and Xu Zhou. 2020. EcoFuzz: Adaptive Energy-Saving Greybox Fuzzing as a Variant of the Adversarial Multi-Armed Bandit. In 29th USENIX Security Symposium. USENIX Association, 2307--2324."},{"key":"e_1_3_2_1_64_1","volume-title":"QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing. In 27th USENIX Security Symposium. USENIX Association, 745--761","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 Association, 745--761 . 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 Association, 745--761."},{"key":"e_1_3_2_1_65_1","unstructured":"Michal Zalewski. 2022. American Fuzzy Lop (AFL) README. http:\/\/ lcamtuf.coredump.cx\/afl\/README.txt.  Michal Zalewski. 2022. American Fuzzy Lop (AFL) README. http:\/\/ lcamtuf.coredump.cx\/afl\/README.txt."},{"key":"e_1_3_2_1_66_1","unstructured":"Andreas Zeller Rahul Gopinath Marcel B\u00f6hme Gordon Fraser and Christian Holler. 2022. The fuzzing book.  Andreas Zeller Rahul Gopinath Marcel B\u00f6hme Gordon Fraser and Christian Holler. 2022. The fuzzing book."},{"key":"e_1_3_2_1_67_1","volume-title":"Exploit the Last Straw That Breaks Android Systems. In IEEE Symposium on Security and Privacy.","author":"Zhang Lei","year":"2022","unstructured":"Lei Zhang , Keke Lian , Haoyu Xiao , Zhibo Zhang , Peng Liu , Yuan Zhang , Min Yang , and Haixin Duan . 2022 . Exploit the Last Straw That Breaks Android Systems. In IEEE Symposium on Security and Privacy. Lei Zhang, Keke Lian, Haoyu Xiao, Zhibo Zhang, Peng Liu, Yuan Zhang, Min Yang, and Haixin Duan. 2022. Exploit the Last Straw That Breaks Android Systems. In IEEE Symposium on Security and Privacy."},{"key":"e_1_3_2_1_68_1","volume-title":"Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing. In 26th Annual Network and Distributed System Security Symposium. The Internet Society.","author":"Zhao Lei","year":"2019","unstructured":"Lei Zhao , Yue Duan , Heng Yin , and Jifeng Xuan . 2019 . Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing. In 26th Annual Network and Distributed System Security Symposium. The Internet Society. Lei Zhao, Yue Duan, Heng Yin, and Jifeng Xuan. 2019. Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing. In 26th Annual Network and Distributed System Security Symposium. The Internet Society."},{"key":"e_1_3_2_1_69_1","volume-title":"Regression Greybox Fuzzing. In ACM SIGSAC Conference on Computer and Communications Security. ACM, 2169--2182","author":"Zhu Xiaogang","year":"2021","unstructured":"Xiaogang Zhu and Marcel B\u00f6hme . 2021 . Regression Greybox Fuzzing. In ACM SIGSAC Conference on Computer and Communications Security. ACM, 2169--2182 . Xiaogang Zhu and Marcel B\u00f6hme. 2021. Regression Greybox Fuzzing. In ACM SIGSAC Conference on Computer and Communications Security. ACM, 2169--2182."},{"key":"e_1_3_2_1_70_1","volume-title":"29th USENIX Security Symposium. USENIX Association, 2255--2269","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 Association, 2255--2269 . 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 Association, 2255--2269."}],"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.3560648","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548606.3560648","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548606.3560648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:59Z","timestamp":1750182539000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3560648"}},"subtitle":["Rigorous and Efficient Directed Greybox Fuzzing"],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":70,"alternative-id":["10.1145\/3548606.3560648","10.1145\/3548606"],"URL":"https:\/\/doi.org\/10.1145\/3548606.3560648","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"}}]}}