{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T17:55:27Z","timestamp":1773510927896,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":81,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"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-2100015 CCF-2100037"],"award-info":[{"award-number":["CNS-2100015 CCF-2100037"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,21]]},"DOI":"10.1145\/3510003.3510628","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T22:42:59Z","timestamp":1657060979000},"page":"438-450","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["CONFETTI"],"prefix":"10.1145","author":[{"given":"James","family":"Kukucka","sequence":"first","affiliation":[{"name":"George Mason University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu\u00eds","family":"Pina","sequence":"additional","affiliation":[{"name":"University of Illinois Chicago"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Ammann","sequence":"additional","affiliation":[{"name":"George Mason University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Bell","sequence":"additional","affiliation":[{"name":"Northeastern University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. Google Closure Issue Tracker Issue Number 3375. https:\/\/github.com\/google\/closure-compiler\/issues\/3375."},{"key":"e_1_3_2_1_2_1","unstructured":"2019. Google Closure Issue Tracker Issue Number 3380. https:\/\/github.com\/google\/closure-compiler\/issues\/3380."},{"key":"e_1_3_2_1_3_1","unstructured":"2019. Google Closure Issue Tracker Issue Number 3455. https:\/\/github.com\/google\/closure-compiler\/issues\/3455."},{"key":"e_1_3_2_1_4_1","unstructured":"2020. Google Closure Issue Tracker Issue Number 3591. https:\/\/github.com\/google\/closure-compiler\/issues\/3591."},{"key":"e_1_3_2_1_5_1","unstructured":"2020. Google Closure Issue Tracker Issue Number 3592. https:\/\/github.com\/google\/closure-compiler\/issues\/3592."},{"key":"e_1_3_2_1_6_1","unstructured":"2021. Apache Ant. https:\/\/ant.apache.org\/."},{"key":"e_1_3_2_1_7_1","unstructured":"2021. Apache BCEL Issue Tracker Issue Number 357. https:\/\/issues.apache.org\/jira\/projects\/BCEL\/issues\/BCEL-357."},{"key":"e_1_3_2_1_8_1","unstructured":"2021. Apache BCEL Issue Tracker Issue Number 358. https:\/\/issues.apache.org\/jira\/projects\/BCEL\/issues\/BCEL-358."},{"key":"e_1_3_2_1_9_1","unstructured":"2021. Apache BCEL Issue Tracker Issue Number 359. https:\/\/issues.apache.org\/jira\/projects\/BCEL\/issues\/BCEL-359."},{"key":"e_1_3_2_1_10_1","unstructured":"2021. Apache Commons Byte Code Engineering Library. http:\/\/commons.apache.org\/proper\/commons-bcel\/."},{"key":"e_1_3_2_1_11_1","unstructured":"2021. Apache Maven. http:\/\/maven.apache.org\/."},{"key":"e_1_3_2_1_12_1","unstructured":"2021. Google Closure. https:\/\/developers.google.com\/closure\/compiler."},{"key":"e_1_3_2_1_13_1","unstructured":"2021. Google Closure Issue Tracker Issue Number 3857. https:\/\/github.com\/google\/closure-compiler\/issues\/3857."},{"key":"e_1_3_2_1_14_1","unstructured":"2021. Google Closure Issue Tracker Issue Number 3858. https:\/\/github.com\/google\/closure-compiler\/issues\/3858."},{"key":"e_1_3_2_1_15_1","unstructured":"2021. Google Closure Issue Tracker Issue Number 3859. https:\/\/github.com\/google\/closure-compiler\/issues\/3859."},{"key":"e_1_3_2_1_16_1","unstructured":"2021. Google Closure Issue Tracker Issue Number 3860. https:\/\/github.com\/google\/closure-compiler\/issues\/3860."},{"key":"e_1_3_2_1_17_1","unstructured":"2021. Google Closure Issue Tracker Issue Number 3861. https:\/\/github.com\/google\/closure-compiler\/issues\/3861."},{"key":"e_1_3_2_1_18_1","unstructured":"2021. Google Closure Issue Tracker Issue Number 3862. https:\/\/github.com\/google\/closure-compiler\/issues\/3862."},{"key":"e_1_3_2_1_19_1","unstructured":"2021. Mozilla Rhino. https:\/\/developer.mozilla.org\/en-US\/docs\/Mozilla\/Projects\/Rhino."},{"key":"e_1_3_2_1_20_1","unstructured":"AFL Contributors. 2021. AFL Dictionaries. https:\/\/github.com\/mirrorer\/afl\/blob\/master\/dictionaries\/README.dictionaries."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"e_1_3_2_1_22_1","volume-title":"JPF-SE: A Symbolic Execution Extension to Java PathFinder (TACAS'07)","author":"Anand Saswat","unstructured":"Saswat Anand, Corina S. P\u0103s\u0103reanu, and Willem Visser. 2007. JPF-SE: A Symbolic Execution Extension to Java PathFinder (TACAS'07). Springer-Verlag, Berlin, Heidelberg, 134--138."},{"key":"e_1_3_2_1_23_1","volume-title":"JavaSMT 3: Interacting with SMT Solvers in Java","author":"Baier Daniel","unstructured":"Daniel Baier, Dirk Beyer, and Karlheinz Friedberger. 2021. JavaSMT 3: Interacting with SMT Solvers in Java. In Computer Aided Verification, Alexandra Silva and K. Rustan M. Leino (Eds.). Springer International Publishing, Cham, 195--208."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831711"},{"key":"e_1_3_2_1_25_1","unstructured":"Jonathan Bell. 2022. Faster collision-free coverage instrumentation Pull Request #171 on rohanpadhye\/JQF. https:\/\/github.com\/rohanpadhye\/JQF\/pull\/171."},{"key":"e_1_3_2_1_26_1","unstructured":"Jonathan Bell. 2022. Increase maximum depth of XML files generated for Maven Pull Request #165 on rohanpadhye\/JQF. https:\/\/github.com\/rohanpadhye\/JQF\/pull\/165."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Jonathan Bell and Gail Kaiser. 2014. Phosphor - GitHub. https:\/\/github.com\/gmu-swe\/phosphor.","DOI":"10.1145\/2660193.2660212"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660212"},{"key":"e_1_3_2_1_29_1","volume-title":"CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs (ECOOP '18). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.","author":"Bell Jonathan","year":"2018","unstructured":"Jonathan Bell and Lu\u00eds Pina. 2018. CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs (ECOOP '18). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"e_1_3_2_1_31_1","volume-title":"Billions and Billions of Constraints: Whitebox Fuzz Testing in Production (ICSE '13)","author":"Bounimova Ella","unstructured":"Ella Bounimova, Patrice Godefroid, and David Molnar. 2013. Billions and Billions of Constraints: Whitebox Fuzz Testing in Production (ICSE '13). IEEE Press, 122--131."},{"key":"e_1_3_2_1_32_1","volume-title":"KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs (OSDI'08)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs (OSDI'08). USENIX Association, Berkeley, CA, USA, 209--224. http:\/\/dl.acm.org\/citation.cfm?id=1855741.1855756"},{"key":"e_1_3_2_1_33_1","volume-title":"2018 IEEE Symposium on Security and Privacy (SP). 711--725","author":"Chen P.","unstructured":"P. Chen and H. Chen. 2018. Angora: Efficient Fuzzing by Principled Search. In 2018 IEEE Symposium on Security and Privacy (SP). 711--725."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363225"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00082"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_37_1","unstructured":"Stephen Dolan. 2017. Property fuzzing for OCaml. https:\/\/github.com\/stedolan\/crowbar."},{"key":"e_1_3_2_1_38_1","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT 20)","author":"Fioraldi Andrea","year":"2020","unstructured":"Andrea Fioraldi, Dominik Maier, Heiko Eibfeldt, and Marc Heuse. 2020. AFL++: Combining incremental steps of fuzzing research. In 14th USENIX Workshop on Offensive Technologies (WOOT 20)."},{"key":"e_1_3_2_1_39_1","volume-title":"GREYONE: Data Flow Sensitive Fuzzing. In 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). USENIX Association, 2577--2594. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/gan"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070546"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375607"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_43_1","volume-title":"Machine Learning for Input Fuzzing (ASE","author":"Godefroid Patrice","year":"2017","unstructured":"Patrice Godefroid, Hila Peleg, and Rishabh Singh. 2017. Learn&Fuzz: Machine Learning for Input Fuzzing (ASE 2017). IEEE Press, 50--59."},{"key":"e_1_3_2_1_44_1","unstructured":"Google. 2022. honggfuzz. https:\/\/honggfuzz.dev."},{"key":"e_1_3_2_1_45_1","volume-title":"22nd USENIX Security Symposium (USENIX Security 13)","author":"Haller Istvan","year":"2013","unstructured":"Istvan Haller, Asia Slowinska, Matthias Neugschwandtner, and Herbert Bos. 2013. Dowsing for Overflows: A Guided Fuzzer to Find Buffer Boundary Violations. In 22nd USENIX Security Symposium (USENIX Security 13). USENIX Association, Washington, D.C., 49--64. https:\/\/www.usenix.org\/conference\/usenixsecurity13\/technical-sessions\/papers\/haller"},{"key":"e_1_3_2_1_46_1","unstructured":"Paul R. Holser. 2010. junit-quickcheck: Property-based testing JUnit-style. https:\/\/github.com\/pholser\/junit-quickcheck."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485464"},{"key":"e_1_3_2_1_48_1","volume-title":"Proceedings of the 1st NASA Formal Methods Symposium (NFM).","author":"Jayaraman Karthick","year":"2009","unstructured":"Karthick Jayaraman, David Harvison, and Vijay Ganesh. 2009. jFuzz: A Concolic Whitebox Fuzzer for Java. In Proceedings of the 1st NASA Formal Methods Symposium (NFM)."},{"key":"e_1_3_2_1_49_1","unstructured":"Min Gyung Kang Stephen McCamant Pongsin Poosankam and Dawn Xiaodong Song. 2011. DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation. In NDSS."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_51_1","volume-title":"CONFETTI: Amplifying Concolic Guidance for Fuzzers. https:\/\/github.com\/neuse\/CONFETTI.","author":"Kukucka James","year":"2019","unstructured":"James Kukucka, Lu\u00eds Pina, Paul Ammann, and Jonathan Bell. 2019. CONFETTI: Amplifying Concolic Guidance for Fuzzers. https:\/\/github.com\/neuse\/CONFETTI."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.6084\/m9.figshare.16563776"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360607"},{"key":"e_1_3_2_1_54_1","unstructured":"libFuzzer Contributors. 2021. libFuzzer Tutorial. https:\/\/github.com\/google\/fuzzing\/blob\/master\/tutorial\/libFuzzerTutorial.md#dictionaries."},{"key":"e_1_3_2_1_55_1","unstructured":"LLVM Project. 2019. libFuzzer - a library for coverage-guided fuzz testing. https:\/\/llvm.org\/docs\/LibFuzzer.html."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_26"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397348"},{"key":"e_1_3_2_1_59_1","unstructured":"Mountainminds GmbH & Co. KG and Contributors. 2021. JaCoCo Java Code Coverage Library. http:\/\/www.eclemma.org\/jacoco\/."},{"key":"e_1_3_2_1_60_1","unstructured":"Rickard Nilsson. 2019. ScalaCheck: Property-based testing for Scala. https:\/\/www.scalacheck.org."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213868"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380363"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167289"},{"key":"e_1_3_2_1_64_1","unstructured":"Rohan Padhye Caroline Lemieux and Koushik Sen. 2019. JQF + Zest: Coverage-guided semantic fuzzing for Java. https:\/\/github.com\/rohanpadhye\/JQF."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3339002"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330576"},{"key":"e_1_3_2_1_68_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","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 Security 20). USENIX Association, 181--198. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/poeplau"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"crossref","unstructured":"Sanjay Rawat Vivek Jain Ashish Kumar Lucian Cojocar Cristiano Giuffrida and Herbert Bos. 2017. VUzzer: Application-aware Evolutionary Fuzzing. In NDSS. https:\/\/www.vusec.net\/download\/?t=papers\/vuzzer_ndss17.pdf","DOI":"10.14722\/ndss.2017.23404"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"crossref","unstructured":"Koushik Sen and Gul Agha. 2006. CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. In CAV Thomas Ball and Robert B. Jones (Eds.). 419--423.","DOI":"10.1007\/11817963_38"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_72_1","volume-title":"Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In 23rd Annual Network and Distributed System Security Symposium, NDSS 2016","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, NDSS 2016, San Diego, California, USA, February 21--24, 2016. The Internet Society. http:\/\/wp.internetsociety.org\/ndss\/wp-content\/uploads\/sites\/25\/2017\/09\/driller-augmenting-fuzzing-through-selective-symbolic-execution.pdf"},{"key":"e_1_3_2_1_73_1","volume-title":"TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering","volume":"2","author":"Tanno H.","unstructured":"H. Tanno, X. Zhang, T. Hoshino, and K. Sen. 2015. TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, Vol. 2. 717--720."},{"key":"e_1_3_2_1_74_1","volume-title":"COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). In Tools and Algorithms for the Construction and Analysis of Systems","author":"Visser Willem","year":"2020","unstructured":"Willem Visser and Jaco Geldenhuys. 2020. COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). In Tools and Algorithms for the Construction and Analysis of Systems, Armin Biere and David Parker (Eds.). Springer International Publishing, Cham, 373--377."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393665"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.23"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00081"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183494"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/2019599.2019600"},{"key":"e_1_3_2_1_81_1","unstructured":"Michal Zalewski. 2019. American Fuzzy Lop. http:\/\/lcamtuf.coredump.cx\/afl\/technical_details.txt."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23504"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania","acronym":"ICSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 44th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510628","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510628","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510628","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:24Z","timestamp":1750191144000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510628"}},"subtitle":["amplifying concolic guidance for fuzzers"],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":81,"alternative-id":["10.1145\/3510003.3510628","10.1145\/3510003"],"URL":"https:\/\/doi.org\/10.1145\/3510003.3510628","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}