{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T10:29:30Z","timestamp":1790936970242,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"the Natural Science Foundation of Shanghai","award":["22ZR1407900"],"award-info":[{"award-number":["22ZR1407900"]}]},{"name":"the Open Fund of PDL","award":["DZC20245250106"],"award-info":[{"award-number":["DZC20245250106"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3680340","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"1035-1047","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-9574-3310","authenticated-orcid":false,"given":"Wenxuan","family":"Zhao","sequence":"first","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6367-0077","authenticated-orcid":false,"given":"Ruiying","family":"Zeng","sequence":"additional","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9184-7383","authenticated-orcid":false,"given":"Yangfan","family":"Zhou","sequence":"additional","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2023. Ahead-of-time compilation. https:\/\/en.wikipedia.org\/wiki\/Ahead-of-time_compilation"},{"key":"e_1_3_2_1_2_1","unstructured":"2023. Cranelift Code Generator. https:\/\/github.com\/bytecodealliance\/wasmtime\/tree\/main\/cranelift"},{"key":"e_1_3_2_1_3_1","unstructured":"2023. Creating Guard Pages. https:\/\/learn.microsoft.com\/en-us\/windows\/win32\/memory\/creating-guard-pages"},{"key":"e_1_3_2_1_4_1","unstructured":"2023. Index of Instructions. https:\/\/webassembly.github.io\/spec\/core\/appendix\/index-instructions.html"},{"key":"e_1_3_2_1_5_1","unstructured":"2023. syntax-numtype. https:\/\/webassembly.github.io\/spec\/core\/syntax\/types.html"},{"key":"e_1_3_2_1_6_1","unstructured":"2023. test suite Guide. https:\/\/llvm.org\/docs\/TestSuiteGuide.html"},{"key":"e_1_3_2_1_7_1","unstructured":"2023. WasmEdge. https:\/\/github.com\/WasmEdge\/WasmEdge"},{"key":"e_1_3_2_1_8_1","unstructured":"2023. Wasmer. https:\/\/github.com\/wasmerio\/wasmer"},{"key":"e_1_3_2_1_9_1","unstructured":"2023. Wasmtime. https:\/\/github.com\/bytecodealliance\/wasmtime"},{"key":"e_1_3_2_1_10_1","unstructured":"2023. WebAssembly. https:\/\/https:\/\/webassembly.org\/"},{"key":"e_1_3_2_1_11_1","unstructured":"2023. WebAssembly Micro Runtime. https:\/\/github.com\/bytecodealliance\/wasm-micro-runtime"},{"key":"e_1_3_2_1_12_1","unstructured":"2023. Zydis. https:\/\/github.com\/zyantific\/zydis"},{"key":"e_1_3_2_1_13_1","unstructured":"The Linux Kernel Archives. Accessed: 2023. Linux Socket Filtering aka Berkeley Packet Filter (BPF). https:\/\/www.kernel.org\/doc\/Documentation\/networking\/filter.txt"},{"key":"e_1_3_2_1_14_1","volume-title":"Type systems","author":"Cardelli Luca","unstructured":"Luca Cardelli. 2004. Type systems. In Allen B. Tucker (ed.). CRC Handbook of Computer Science and Engineering (2nd ed.).. CRC Press."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00127"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_1_17_1","unstructured":"Emscripten Contributors. Accessed: 2023. Emscripten. https:\/\/emscripten.org"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the ACM Symposium on Operating Systems Principles (SOSP).","author":"Engler Dawson","year":"2001","unstructured":"Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, and Benjamin Chelf. 2001. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Proceedings of the ACM Symposium on Operating Systems Principles (SOSP)."},{"key":"e_1_3_2_1_19_1","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT 20)","author":"Fioraldi Andrea","year":"2020","unstructured":"Andrea Fioraldi, Dominik Maier, Heiko Ei\u00df feldt, and Marc Heuse. 2020. AFL++: Combining Incremental Steps of Fuzzing Research. In 14th USENIX Workshop on Offensive Technologies (WOOT 20). USENIX Association."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598075"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062363"},{"key":"e_1_3_2_1_22_1","unstructured":"HyungSeok Han DongHyeon Oh and Sang Kil Cha. 2019. CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines.. In NDSS."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598064"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442381.3450138"},{"key":"e_1_3_2_1_25_1","unstructured":"Intel. Accessed: 2023. Intel\u00ae 64 and IA-32 Architectures Software Developer\u2019s Manual. https:\/\/www.intel.com\/content\/dam\/www\/public\/us\/en\/documents\/manuals\/64-ia-32-architectures-software-developer-vol-1-manual.pdf"},{"key":"e_1_3_2_1_26_1","volume-title":"Native Code. In Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC \u201919)","author":"Jangda Abhinav","year":"2019","unstructured":"Abhinav Jangda, Bobby Powers, Emery D. Berger, and Arjun Guha. 2019. Not so Fast: Analyzing the Performance of Webassembly vs. Native Code. In Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC \u201919). USENIX Association, USA. 107\u2013120. isbn:9781939133038"},{"key":"e_1_3_2_1_27_1","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 43\u201355","author":"Jia Haoxiang","year":"2023","unstructured":"Haoxiang Jia, Ming Wen, Zifan Xie, Xiaochen Guo, Rongxin Wu, Maolin Sun, Kang Chen, and Hai Jin. 2023. Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 43\u201355."},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 661\u2013672","author":"Jiang Shuyao","unstructured":"Shuyao Jiang, Ruiying Zeng, Zihao Rao, Jiazhen Gu, Yangfan Zhou, and Michael R. Lyu. 2023. Revealing Performance Issues in Server-side WebAssembly Runtimes via Differential Testing. In Proceedings of the 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 661\u2013672."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CONIT59222.2023.10205816"},{"key":"e_1_3_2_1_30_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Lee Suyoung","year":"2020","unstructured":"Suyoung Lee, HyungSeok Han, Sang Kil Cha, and Sooel Son. 2020. Montage: A neural network language Model-Guided JavaScript engine fuzzer. In 29th USENIX Security Symposium (USENIX Security 20). 2613\u20132630."},{"key":"e_1_3_2_1_31_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Lehmann Daniel","year":"2020","unstructured":"Daniel Lehmann, Johannes Kinder, and Michael Pradel. 2020. Everything Old is New Again: Binary Security of WebAssembly. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, 217\u2013234. isbn:978-1-939133-17-5 https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/lehmann"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304068"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598104"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3458864.3466910"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498361.3538922"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613140"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598068"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3526059.3533618"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00015"},{"key":"e_1_3_2_1_40_1","volume-title":"2020 IEEE Symposium on Security and Privacy (SP). 1629\u20131642","author":"Park Soyeon","year":"2020","unstructured":"Soyeon Park, Wen Xu, Insu Yun, Daehee Jang, and Taesoo Kim. 2020. Fuzzing javascript engines with aspect-preserving mutation. In 2020 IEEE Symposium on Security and Privacy (SP). 1629\u20131642."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616311"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00081"},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the 32nd USENIX Conference on Security Symposium (SEC \u201923)","author":"Wang Junjie","year":"2023","unstructured":"Junjie Wang, Zhiyi Zhang, Shuang Liu, Xiaoning Du, and Junjie Chen. 2023. FuzzJIT: Oracle-Enhanced Fuzzing for JavaScript Engine JIT Compiler. In Proceedings of the 32nd USENIX Conference on Security Symposium (SEC \u201923). USENIX Association, USA. Article 105, 18 pages. isbn:978-1-939133-37-3"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER56733.2023.00041"},{"key":"e_1_3_2_1_45_1","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 56\u201368","author":"Wu Mingyuan","year":"2023","unstructured":"Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen, Yuqun Zhang, and Lingming Zhang. 2023. Jitfuzz: Coverage-guided fuzzing for jvm just-in-time compilers. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 56\u201368."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616277"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556958"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3624743"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510059"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502847"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00188"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Vienna Austria","acronym":"ISSTA '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680340","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3680340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:07Z","timestamp":1750287007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680340"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":52,"alternative-id":["10.1145\/3650212.3680340","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3680340","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}