{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T21:57:13Z","timestamp":1777499833394,"version":"3.51.4"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2017YFB1400402"],"award-info":[{"award-number":["2017YFB1400402"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61702041"],"award-info":[{"award-number":["61702041"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61601039"],"award-info":[{"award-number":["61601039"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Qin Xin Talents Cultivation Program of Beijing Information Science Technology University","award":["QXTCP C201906"],"award-info":[{"award-number":["QXTCP C201906"]}]},{"name":"Qin Xin Talents Cultivation Program of Beijing Information Science Technology University","award":["QXTCP B201905"],"award-info":[{"award-number":["QXTCP B201905"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/access.2020.3030798","type":"journal-article","created":{"date-parts":[[2020,10,13]],"date-time":"2020-10-13T19:37:21Z","timestamp":1602617841000},"page":"187564-187574","source":"Crossref","is-referenced-by-count":6,"title":["CSEFuzz: Fuzz Testing Based on Symbolic Execution"],"prefix":"10.1109","volume":"8","author":[{"given":"Zhangwei","family":"Xie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5537-9236","authenticated-orcid":false,"given":"Zhanqi","family":"Cui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaming","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9303-3682","authenticated-orcid":false,"given":"Xiulei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7641-6369","authenticated-orcid":false,"given":"Liwei","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","article-title":"Detecting software defects based on fuzz testing and symbolic execution","author":"xie","year":"2020"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0122-2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3138820"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254088"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2927924"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1455518.1455522"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.333"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966475"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00046"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330579"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.48"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2018.00050"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1186\/s42400-018-0002-y"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213868"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2936235"},{"key":"ref8","first-page":"637","article-title":"KLEE: A framework for distributed top-K query algorithms","author":"michel","year":"2005","journal-title":"Proc Int Conf On Very Large Data Bases"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2536853.2536881"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_26"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-015-2763-6"},{"key":"ref20","first-page":"1","article-title":"The art of file format fuzzing","author":"sutton","year":"2005","journal-title":"Proc BlackHat USA Conf"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2894178"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00096"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.182"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238176"},{"key":"ref26","first-page":"427","article-title":"DTA: Dynamic taint analysis with targeted control-flow propagation","author":"kang","year":"2011","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-014-1922-5"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/09222017.pdf?arnumber=9222017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T19:56:58Z","timestamp":1639771018000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9222017\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/access.2020.3030798","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}