{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T18:57:41Z","timestamp":1764788261400,"version":"3.46.0"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62132020","62032004","62432010","62072068"],"award-info":[{"award-number":["62132020","62032004","62432010","62072068"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Foundational Research Funds for the Central Universities","award":["DUT24LAB126"],"award-info":[{"award-number":["DUT24LAB126"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1109\/tr.2025.3614352","type":"journal-article","created":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T17:37:00Z","timestamp":1760636220000},"page":"5056-5069","source":"Crossref","is-referenced-by-count":0,"title":["Detecting WebAssembly Runtime Bugs With Grammar-Guided Program Mutation"],"prefix":"10.1109","volume":"74","author":[{"given":"Xinyi","family":"Lu","sequence":"first","affiliation":[{"name":"School of Software, Dalian University of Technology, Dalian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6195-7605","authenticated-orcid":false,"given":"Zhide","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, Dalian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5068-1938","authenticated-orcid":false,"given":"Xiaochen","family":"Li","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, Dalian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2968-3496","authenticated-orcid":false,"given":"Jifeng","family":"Xuan","sequence":"additional","affiliation":[{"name":"School of Computer Science, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Wu","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, Dalian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8674-4948","authenticated-orcid":false,"given":"He","family":"Jiang","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, Dalian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1511-2158","authenticated-orcid":false,"given":"Zhilei","family":"Ren","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, Dalian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"EVulHunter: Detecting fake transfer vulnerabilities for EOSIOs smart contracts at webassembly-level","year":"2019","author":"Quan","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/QRS54544.2021.00102"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1049\/blc2.12029"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10723-023-09669-8"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MCOMSTD.0001.2000068"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IEEECloudSummit48914.2020.00031"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-34444-2_7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3498361.3538922"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD49709.2020.00056"},{"year":"2023","key":"ref10","article-title":"Awesome WebAssembly runtimes"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062363"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid54584.2022.00023"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SANER56733.2023.00041"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3624743"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516736"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CSCI54926.2021.00358"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238176"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.18293\/SEKE2022-165"},{"key":"ref21","article-title":"AFL++: Combining incremental steps of fuzzing research","volume-title":"Proc. 14th USENIX Workshop Offensive Technol.","author":"Fioraldi","year":"2020"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3363562"},{"year":"2023","key":"ref23","article-title":"V8 JavaScript engine"},{"year":"2023","key":"ref24","article-title":"SpiderMonkey"},{"year":"2023","key":"ref25","article-title":"Chakra"},{"year":"2023","key":"ref26","article-title":"JavaScriptCore"},{"year":"2023","key":"ref27","article-title":"wasmer"},{"year":"2023","key":"ref28","article-title":"wasmtime"},{"year":"2023","key":"ref29","article-title":"wasmedge"},{"year":"2023","key":"ref30","article-title":"wasm-micro-runtime"},{"year":"2023","key":"ref31","article-title":"wabt"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575707"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00037"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2022.3171220"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3119186"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194022500206"},{"key":"ref37","first-page":"1883","article-title":"Gleefuzz: Fuzzing WebGL through error message guided mutation","volume-title":"Proc. USENIX Security23","author":"Peng","year":"2023"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2048147.2048224"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2022.102745"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00172"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10146-1"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00017"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1080\/00031305.1995.10476177"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2858965.2814319"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"issue":"1","key":"ref47","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman","year":"1998","journal-title":"Digit. Tech. J."},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1295014.1295038"},{"article-title":"cloc: v1.98","year":"2023","author":"Danial","key":"ref49"},{"year":"2023","key":"ref50","article-title":"ANTLR"},{"year":"2023","key":"ref51","article-title":"gcov"},{"year":"2023","key":"ref52","article-title":"grcov"},{"year":"2023","key":"ref53","article-title":"Witx documentation"},{"year":"2023","key":"ref54","article-title":"wasm-tools"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3278186.3278193"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00100"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00027"},{"key":"ref58","article-title":"From input coverage to code coverage: Systematically covering input structure with K-paths","author":"Havrikov","year":"2022","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"ref59","first-page":"4535","article-title":"Systematic assessment of fuzzers using mutation analysis","volume-title":"Proc. 32nd USENIX Conf. Secur. Symp.","author":"Grz","year":"2023"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59762-7_8"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00072"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3558918"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639121"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/24\/11273031\/11205981.pdf?arnumber=11205981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T18:42:20Z","timestamp":1764787340000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11205981\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12]]},"references-count":64,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tr.2025.3614352","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"type":"print","value":"0018-9529"},{"type":"electronic","value":"1558-1721"}],"subject":[],"published":{"date-parts":[[2025,12]]}}}