{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T02:23:05Z","timestamp":1768011785245,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":65,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T00:00:00Z","timestamp":1701302400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2150217, 191026"],"award-info":[{"award-number":["2150217, 191026"]}],"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":[[2023,11,30]]},"DOI":"10.1145\/3611643.3616327","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T23:14:38Z","timestamp":1701386078000},"page":"1114-1126","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["NaNofuzz: A Usable Tool for Automatic Test Generation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2366-8436","authenticated-orcid":false,"given":"Matthew C.","family":"Davis","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7901-8777","authenticated-orcid":false,"given":"Sangheon","family":"Choi","sequence":"additional","affiliation":[{"name":"Rose-Hulman Institute of Technology, Terre Haute, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7107-7043","authenticated-orcid":false,"given":"Sam","family":"Estep","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4769-0219","authenticated-orcid":false,"given":"Brad A.","family":"Myers","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9672-5297","authenticated-orcid":false,"given":"Joshua","family":"Sunshine","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, USA"}]}],"member":"320","published-online":{"date-parts":[[2023,11,30]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00023"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3195001"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9570-9"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-021-10072-8"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2776152"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483540"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1191\/1478088706qp063oa"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1201\/9781498710411"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/AFIPS.1978.195"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_12_1","unstructured":"Anastasia Danilova. 2022. How to Conduct Security Studies with Software Developers. Ph. D. Dissertation. Universit\u00e4ts-und Landesbibliothek Bonn. https:\/\/hdl.handle.net\/20.500.11811\/10063"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3587157"},{"key":"e_1_3_2_2_14_1","volume-title":"NaNofuzz - Visual Studio Marketplace. https:\/\/marketplace.visualstudio.com\/items?itemName=penrose.nanofuzz [Online","author":"Davis Matthew C","year":"2022","unstructured":"Matthew C Davis, Sangheon Choi, and Sam Estep. 2022. NaNofuzz - Visual Studio Marketplace. https:\/\/marketplace.visualstudio.com\/items?itemName=penrose.nanofuzz [Online; accessed 2022-11-20]"},{"key":"e_1_3_2_2_15_1","volume-title":"NaNofuzz: a fast and easy-to-use automatic test suite generator for Typescript that runs inside VS Code. https:\/\/github.com\/nanofuzz\/nanofuzz [Online","author":"Davis Matthew C","year":"2022","unstructured":"Matthew C Davis, Sangheon Choi, and Sam Estep. 2022. NaNofuzz: a fast and easy-to-use automatic test suite generator for Typescript that runs inside VS Code. https:\/\/github.com\/nanofuzz\/nanofuzz [Online; accessed 2022-11-20]"},{"key":"e_1_3_2_2_16_1","unstructured":"Matthew C Davis Sangheon Choi and Sam Estep. 2022. nanofuzz-study. https:\/\/github.com\/nanofuzz\/nanofuzz-study"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","unstructured":"Matthew C Davis Sangheon Choi and Sam Estep. 2023. Reproduction Package for Article \u201cNaNofuzz: A Usable Test Suite Generation Tool\u201d. https:\/\/doi.org\/10.1145\/3580413 10.1145\/3580413","DOI":"10.1145\/3580413"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/74587.74634"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/151257.151258"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CHASE52884.2021.00026"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581359"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1131421.1131423"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699688"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1037\/1524-9220.5.1.40"},{"key":"e_1_3_2_2_26_1","volume-title":"https:\/\/github.com\/features\/codespaces [Online","author":"Codespaces GitHub","year":"2022","unstructured":"GitHub. 2022. GitHub Codespaces. https:\/\/github.com\/features\/codespaces [Online; accessed 2022-11-21]"},{"key":"e_1_3_2_2_27_1","volume-title":"Proc. Workshop on the Human Aspects of Types and Reasoning Assistants (HATRA).","author":"Goldstein Harrison","year":"2022","unstructured":"Harrison Goldstein, Joseph W Cutler, Adam Stein, Benjamin C Pierce, and Andrew Head. 2022. Some Problems with Properties. In Proc. Workshop on the Human Aspects of Types and Reasoning Assistants (HATRA)."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196321.3196363"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231514"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-302-6"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1922649.1922658"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9279-3"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2014.33"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.2307\/2529310"},{"key":"e_1_3_2_2_37_1","volume-title":"USENIX Security Symposium. USENIX Association, 2777\u20132794","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 USENIX Security Symposium. USENIX Association, 2777\u20132794."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2946563"},{"key":"e_1_3_2_2_39_1","volume-title":"Overview of Microsoft IntelliTester. https:\/\/learn.microsoft.com\/en-us\/visualstudio\/test\/intellitest-manual\/ [Online","year":"2023","unstructured":"Microsoft. 2023. Overview of Microsoft IntelliTester. https:\/\/learn.microsoft.com\/en-us\/visualstudio\/test\/intellitest-manual\/ [Online; accessed 2023-01-27]"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/174800.174808"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3087087"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2004.1290464"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/191666.191729"},{"key":"e_1_3_2_2_45_1","volume-title":"Software Developers, Quality Assurance Analysts, and Testers. https:\/\/www.bls.gov\/ooh\/computer-and-information-technology\/software-developers.htm [Online","author":"Bureau of Labor Statistics. 2022.","year":"2022","unstructured":"Bureau of Labor Statistics. 2022. Occupational Outlook Handbook, Software Developers, Quality Assurance Analysts, and Testers. https:\/\/www.bls.gov\/ooh\/computer-and-information-technology\/software-developers.htm [Online; accessed 2022-10-06]"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.03.007"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28494-7_3"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884847"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.07.100"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.03.052"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771801"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"crossref","unstructured":"Robert Rosenthal and Ralph L Rosnow. 2008. Essentials of behavioral research: Methods and data analysis.","DOI":"10.1093\/acprof:oso\/9780195385540.001.0001"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1997.630851"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671118"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337206"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416622"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-4221-6"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICICoS56336.2022.9930600"},{"key":"e_1_3_2_2_61_1","unstructured":"James Somers. 2023. What if writing tests was a joyful experience? https:\/\/blog.janestreet.com\/the-joy-of-expect-tests\/"},{"key":"e_1_3_2_2_62_1","volume-title":"Jest - Delightful Javascript Testing. https:\/\/jestjs.io\/ [Online","author":"Source Facebook Open","year":"2022","unstructured":"Facebook Open Source. 2022. Jest - Delightful Javascript Testing. https:\/\/jestjs.io\/ [Online; accessed 2022-11-08]"},{"key":"e_1_3_2_2_63_1","volume-title":"https:\/\/github.com\/firsttris\/vscode-jest-runner [Online","author":"Teufel Tristan","year":"2022","unstructured":"Tristan Teufel and contributors. 2022. Jest Runner. https:\/\/github.com\/firsttris\/vscode-jest-runner [Online; accessed 2022-11-10]"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1002\/9780470382844"},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","unstructured":"Hong Zhu Patrick A. V. Hall and John H. R. May. 1997. Software Unit Test Coverage and Adequacy. ACM Comput. Surv. 29 4 (1997) dec 366\u2013427. issn:0360-0300 https:\/\/doi.org\/10.1145\/267580.267590 10.1145\/267580.267590","DOI":"10.1145\/267580.267590"}],"event":{"name":"ESEC\/FSE '23: 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"San Francisco CA USA","acronym":"ESEC\/FSE '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3616327","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611643.3616327","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:11Z","timestamp":1750178171000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3616327"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,30]]},"references-count":65,"alternative-id":["10.1145\/3611643.3616327","10.1145\/3611643"],"URL":"https:\/\/doi.org\/10.1145\/3611643.3616327","relation":{},"subject":[],"published":{"date-parts":[[2023,11,30]]},"assertion":[{"value":"2023-11-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}