{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T00:46:17Z","timestamp":1759365977710,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":84,"publisher":"ACM","funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-2330752","CNS-2401873"],"award-info":[{"award-number":["CNS-2330752","CNS-2401873"]}],"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":[[2025,10,13]]},"DOI":"10.1145\/3731569.3764819","type":"proceedings-article","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T12:43:24Z","timestamp":1759322604000},"page":"719-735","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["WASIT: Deep and Continuous Differential Testing of WebAssembly System Interface Implementations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-9559-9995","authenticated-orcid":false,"given":"Yage","family":"Hu","sequence":"first","affiliation":[{"name":"University of Georgia, Athens, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2081-7830","authenticated-orcid":false,"given":"Wen","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Georgia, Athens, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-1446-2329","authenticated-orcid":false,"given":"Botang","family":"Xiao","sequence":"additional","affiliation":[{"name":"University of Georgia, Athens, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-1889-7143","authenticated-orcid":false,"given":"Qingchen","family":"Kong","sequence":"additional","affiliation":[{"name":"University of Georgia, Athens, Georiga, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-1970-0620","authenticated-orcid":false,"given":"Boyang","family":"Yi","sequence":"additional","affiliation":[{"name":"University of Georgia, Athens, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-8579-9191","authenticated-orcid":false,"given":"Suxin","family":"Ji","sequence":"additional","affiliation":[{"name":"University of Georgia, Athens, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9575-4359","authenticated-orcid":false,"given":"Songlan","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Georgia, Athens, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0840-4846","authenticated-orcid":false,"given":"Wenwen","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Georgia, Athens, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Accessed","author":"Alliance Bytecode","year":"2025","unstructured":"Bytecode Alliance. Accessed in April 2025. A nonprofit organization dedicated to creating secure new software foundations, building on standards such as WebAssembly and WebAssembly System Interface (WASI). https:\/\/bytecodealliance.org."},{"key":"e_1_3_2_1_2_1","volume-title":"Accessed","author":"Alliance Bytecode","year":"2025","unstructured":"Bytecode Alliance. Accessed in April 2025. wasm-smith. https:\/\/github.com\/bytecodealliance\/wasm-tools\/tree\/main\/crates\/wasm-smith."},{"key":"e_1_3_2_1_3_1","volume-title":"Accessed","author":"Alliance Bytecode","year":"2025","unstructured":"Bytecode Alliance. Accessed in April 2025. Wasmtime. https:\/\/wasmtime.dev."},{"key":"e_1_3_2_1_4_1","volume-title":"Accessed","author":"Alliance Bytecode","year":"2025","unstructured":"Bytecode Alliance. Accessed in April 2025. WebAssembly Micro Runtime. https:\/\/bytecodealliance.github.io\/wamr.dev."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering","author":"Arcaini Paolo","year":"2015","unstructured":"Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene. 2015. Improving Model-Based Test Generation by Model Decomposition. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (Bergamo, Italy) (ESEC\/FSE 2015). Association for Computing Machinery, New York, NY, USA, 119\u2013130. 10.1145\/2786805.2786837"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 41st International Conference on Software Engineering (Montreal","author":"Atlidakis Vaggelis","year":"2019","unstructured":"Vaggelis Atlidakis, Patrice Godefroid, and Marina Polishchuk. 2019. RESTler: Stateful REST API Fuzzing. In Proceedings of the 41st International Conference on Software Engineering (Montreal, Quebec, Canada) (ICSE '19). IEEE Press, 748\u2013758. 10.1109\/ICSE.2019.00083"},{"key":"e_1_3_2_1_7_1","unstructured":"Guy Bedford. 2023. Node.js uvwasi pull request #242 comment. https:\/\/github.com\/nodejs\/uvwasi\/pull\/242#pullrequestreview-1773491822"},{"key":"e_1_3_2_1_8_1","unstructured":"Johan Brandhorst-Satzkorn Julien Fabre Damian Gryski Evan Phoenix and Achille Roussel. September 2023. WASI support in Go. https:\/\/go.dev\/blog\/wasi."},{"key":"e_1_3_2_1_9_1","first-page":"10","volume-title":"Proc. ACM Softw. Eng. 2, FSE, Article FSE070 (June","author":"Cao Shaoheng","year":"2025","unstructured":"Shaoheng Cao, Renyi Chen, Wenhua Yang, Minxue Pan, and Xuandong Li. 2025. A Mixed-Methods Study of Model-Based GUI Testing in Real-World Industrial Settings. Proc. ACM Softw. Eng. 2, FSE, Article FSE070 (June 2025), 22 pages. 10.1145\/3715789"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Cao Shangtong","year":"2024","unstructured":"Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang, and Haoyu Wang. 2024. WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (Vienna, Austria) (ISSTA 2024). Association for Computing Machinery, New York, NY, USA, 1262\u20131273. 10.1145\/3650212.3680358"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (Montreal, QC, Canada) (PPoPP '23)","author":"Chadha Mohak","year":"2023","unstructured":"Mohak Chadha, Nils Krueger, Jophin John, Anshul Jindal, Michael Gerndt, and Shajulin Benedict. 2023. Exploring the Use of WebAssembly in HPC. In Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (Montreal, QC, Canada) (PPoPP '23). Association for Computing Machinery, New York, NY, USA, 92\u2013106. 10.1145\/3572848.3577436"},{"key":"e_1_3_2_1_12_1","volume-title":"2024 IEEE Symposium on Security and Privacy (SP). 4661\u20134677","author":"Chen Weiteng","year":"2024","unstructured":"Weiteng Chen, Yu Hao, Zheng Zhang, Xiaochen Zou, Dhilung Kirat, Shachee Mishra, Douglas Schales, Jiyong Jang, and Zhiyun Qian. 2024. SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing. In 2024 IEEE Symposium on Security and Privacy (SP). 4661\u20134677. 10.1109\/SP54263.2024.00269"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 25th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems","author":"Chen Weimin","year":"2024","unstructured":"Weimin Chen, Xiapu Luo, Haoyu Wang, Heming Cui, Shuyu Zheng, and Xuanzhe Liu. 2024. EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM. In Proceedings of the 25th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (Copenhagen, Denmark) (LCTES 2024). Association for Computing Machinery, New York, NY, USA, 131\u2013142. 10.1145\/3652032.3657570"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00)","author":"Claessen Koen","year":"2000","unstructured":"Koen Claessen and John Hughes. 2000. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00). Association for Computing Machinery, New York, NY, USA, 268\u2013279. 10.1145\/351240.351266"},{"key":"e_1_3_2_1_15_1","unstructured":"The MITRE Corporation. 2024. CVE-2024-38358. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2024-38358"},{"key":"e_1_3_2_1_16_1","unstructured":"The MITRE Corporation. 2024. CVE-2024-51745. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2024-51745"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering","author":"Corradini Davide","year":"2024","unstructured":"Davide Corradini, Zeno Montolli, Michele Pasqua, and Mariano Ceccato. 2024. DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning. In Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering (Sacramento, CA, USA) (ASE '24). Association for Computing Machinery, New York, NY, USA, 1383\u20131394. 10.1145\/3691620.3695511"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 45th International Conference on Software Engineering","author":"Corradini Davide","year":"2023","unstructured":"Davide Corradini, Michele Pasqua, and Mariano Ceccato. 2023. Automated Black-Box Testing of Mass Assignment Vulnerabilities in RESTful APIs. In Proceedings of the 45th International Conference on Software Engineering (Melbourne, Victoria, Australia) (ICSE '23). IEEE Press, 2553\u20132564. 10.1109\/ICSE48619.2023.00213"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 21st International Conference on Software Engineering","author":"Dalal S. R.","unstructured":"S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, and B. M. Horowitz. 1999. Model-based Testing in Practice. In Proceedings of the 21st International Conference on Software Engineering (Los Angeles, California, USA) (ICSE '99). Association for Computing Machinery, New York, NY, USA, 285\u2013294. 10.1145\/302405.302640"},{"key":"e_1_3_2_1_20_1","unstructured":"DeFiChain. March 2024. WebAssembly: The Game-Changer for Blockchain Performance and Flexibility. https:\/\/blog.defichain.com\/webassembly-the-game-changer-for-blockchain-performance-and-flexibility."},{"key":"e_1_3_2_1_21_1","volume-title":"Accessed","author":"Developers Wasix","year":"2025","unstructured":"Wasix Developers. Accessed in April 2025. Wasix. https:\/\/github.com\/PLSysSec\/wasix."},{"key":"e_1_3_2_1_22_1","volume-title":"Accessed","author":"Developers WASI","year":"2025","unstructured":"WASI Developers. Accessed in April 2025. WebAssembly System Interface. https:\/\/github.com\/WebAssembly\/WASI."},{"key":"e_1_3_2_1_23_1","volume-title":"Accessed","author":"RS.","year":"2025","unstructured":"DOCS.RS. Accessed in April 2025. Crate wasi. https:\/\/docs.rs\/wasi."},{"key":"e_1_3_2_1_24_1","volume-title":"Accessed","author":"Foundation JS","year":"2025","unstructured":"OpenJS Foundation. Accessed in April 2025. Node.js. https:\/\/nodejs.org."},{"key":"e_1_3_2_1_25_1","volume-title":"Accessed","author":"Native Computing Foundation The Cloud","year":"2025","unstructured":"The Cloud Native Computing Foundation. Accessed in April 2025. WasmEdge. https:\/\/wasmedge.org."},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 21st International Middleware Conference","author":"Gadepalli Phani Kishore","year":"2020","unstructured":"Phani Kishore Gadepalli, Sean McBride, Gregor Peach, Ludmila Cherkasova, and Gabriel Parmer. 2020. Sledge: A Serverless-First, Light-Weight Wasm Runtime for the Edge. In Proceedings of the 21st International Middleware Conference (Delft, Netherlands) (Middleware '20). Association for Computing Machinery, New York, NY, USA, 265\u2013279. 10.1145\/3423211.3425680"},{"key":"e_1_3_2_1_27_1","unstructured":"B. Cameron Gain. February 2025. The Feds Push for WebAssembly Security Over eBPF. https:\/\/thenewstack.io\/the-feds-push-for-webassembly-security-over-ebpf."},{"key":"e_1_3_2_1_28_1","volume-title":"Accessed","year":"2025","unstructured":"Google. Accessed in April 2025. Syzkaller: An unsupervised coverage-guided kernel fuzzer. https:\/\/github.com\/google\/syzkaller."},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 44th International Conference on Software Engineering. 1070\u20131081","author":"Green Harrison","year":"2022","unstructured":"Harrison Green and Thanassis Avgerinos. 2022. Graphfuzz: Library api fuzzing with lifetime-aware dataflow graphs. In Proceedings of the 44th International Conference on Software Engineering. 1070\u20131081."},{"key":"e_1_3_2_1_30_1","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"G\u00fcler Emre","year":"2024","unstructured":"Emre G\u00fcler, Sergej Schumilo, Moritz Schloegel, Nils Bars, Philipp G\u00f6rz, Xinyi Xu, Cemal Kaygusuz, and Thorsten Holz. 2024. Atropos: Effective Fuzzing of Web Applications for {Server-Side} Vulnerabilities. In 33rd USENIX Security Symposium (USENIX Security 24). 4765\u20134782."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Haas Andreas","year":"2017","unstructured":"Andreas Haas, Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, and JF Bastien. 2017. Bringing the Web up to Speed with WebAssembly. In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (Barcelona, Spain) (PLDI 2017). Association for Computing Machinery, New York, NY, USA, 185\u2013200. 10.1145\/3062341.3062363"},{"key":"e_1_3_2_1_32_1","volume-title":"Static Generation of Syscall Descriptions for Kernel Drivers. In 2023 IEEE Symposium on Security and Privacy (SP). 3262\u20133278","author":"Hao Yu","year":"2023","unstructured":"Yu Hao, Guoren Li, Xiaochen Zou, Weiteng Chen, Shitong Zhu, Zhiyun Qian, and Ardalan Amiri Sani. 2023. SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers. In 2023 IEEE Symposium on Security and Privacy (SP). 3262\u20133278. 10.1109\/SP46215.2023.10179298"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 29th Symposium on Operating Systems Principles","author":"He Liang","year":"2023","unstructured":"Liang He, Purui Su, Chao Zhang, Yan Cai, and Jinxin Ma. 2023. One Simple API Can Cause Hundreds of Bugs An Analysis of Refcounting Bugs in All Modern Linux Kernels. In Proceedings of the 29th Symposium on Operating Systems Principles (Koblenz, Germany) (SOSP '23). Association for Computing Machinery, New York, NY, USA, 52\u201365. 10.1145\/3600006.3613162"},{"key":"e_1_3_2_1_34_1","unstructured":"Christoph Herzog. 2024. Wasmer pull request #4557 comment. https:\/\/github.com\/wasmerio\/wasmer\/pull\/4557#pullrequestreview-1998421018"},{"key":"e_1_3_2_1_35_1","volume-title":"Accessed","author":"The WASI Subgroup in the W3C WebAssembly Community Group","year":"2025","unstructured":"The WASI Subgroup in the W3C WebAssembly Community Group. Accessed in April 2025. WASI Interfaces. https:\/\/wasi.dev\/interfaces."},{"key":"e_1_3_2_1_36_1","volume-title":"Accessed","author":"The WASI Subgroup in the W3C WebAssembly Community Group","year":"2025","unstructured":"The WASI Subgroup in the W3C WebAssembly Community Group. Accessed in April 2025. WebAssembly System Interface. https:\/\/wasi.dev."},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles","author":"Jeong Dae R.","year":"2024","unstructured":"Dae R. Jeong, Yewon Choi, Byoungyoung Lee, Insik Shin, and Youngjin Kwon. 2024. OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering. In Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles (Austin, TX, USA) (SOSP '24). Association for Computing Machinery, New York, NY, USA, 229\u2013248. 10.1145\/3694715.3695944"},{"key":"e_1_3_2_1_38_1","volume-title":"Revealing Performance Issues in ServerSide WebAssembly Runtimes Via Differential Testing. In 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 661\u2013672","author":"Jiang Shuyao","year":"2023","unstructured":"Shuyao Jiang, Ruiying Zeng, Zihao Rao, Jiazhen Gu, Yangfan Zhou, and Michael R. Lyu. 2023. Revealing Performance Issues in ServerSide WebAssembly Runtimes Via Differential Testing. In 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 661\u2013672. 10.1109\/ASE56229.2023.00088"},{"key":"e_1_3_2_1_39_1","volume-title":"2023 IEEE Symposium on Security and Privacy (SP). 2940\u20132955","author":"Johnson Evan","year":"2023","unstructured":"Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage, Deian Stefan, and Fraser Brown. 2023. WaVe: a verifiably secure WebAssembly sandboxing runtime. In 2023 IEEE Symposium on Security and Privacy (SP). 2940\u20132955. 10.1109\/SP46215.2023.10179357"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 27th ACM Symposium on Operating Systems Principles (Huntsville","author":"Kim Seulbae","year":"2019","unstructured":"Seulbae Kim, Meng Xu, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu, and Taesoo Kim. 2019. Finding semantic bugs in file systems with an extensible fuzzing framework. In Proceedings of the 27th ACM Symposium on Operating Systems Principles (Huntsville, Ontario, Canada) (SOSP '19). Association for Computing Machinery, New York, NY, USA, 147\u2013161. 10.1145\/3341301.3359662"},{"key":"e_1_3_2_1_41_1","volume-title":"ICWE 2023, Alicante, Spain, June 6-9, 2023, Proceedings (Lecture Notes in Computer Science","volume":"100","author":"Kotilainen Pyry","year":"2023","unstructured":"Pyry Kotilainen, Viljami J\u00e4rvinen, Juho Tarkkanen, Teemu Autto, Teerath Das, Muhammad Waseem, and Tommi Mikkonen. 2023. WebAssembly in IoT: Beyond Toy Examples. In Web Engineering - 23rd International Conference, ICWE 2023, Alicante, Spain, June 6-9, 2023, Proceedings (Lecture Notes in Computer Science, Vol. 13893). Springer, 93\u2013100. 10.1007\/978-3-031-34444-2_7"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2024.3500385"},{"key":"e_1_3_2_1_43_1","volume-title":"2024 IEEE\/ACM 32nd International Symposium on Quality of Service (IWQoS). 1\u201310","author":"Li Zhexiong","year":"2024","unstructured":"Zhexiong Li, Deze Zeng, and Ranzhao Chen. 2024. WebAssembly or Container? Joint Optimization of Microservice Consolidation and Deployment towards Cost Efficient Edge-End Consortium. In 2024 IEEE\/ACM 32nd International Symposium on Quality of Service (IWQoS). 1\u201310. 10.1109\/IWQoS61813.2024.10682874"},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the 44th International Conference on Software Engineering","author":"Liu Yi","year":"2022","unstructured":"Yi Liu, Yuekang Li, Gelei Deng, Yang Liu, Ruiyuan Wan, Runchao Wu, Dandan Ji, Shiheng Xu, and Minli Bao. 2022. Morest: Modelbased RESTful API Testing with Execution Feedbac. In Proceedings of the 44th International Conference on Software Engineering (Pittsburgh, Pennsylvania) (ICSE '22). Association for Computing Machinery, New York, NY, USA, 1406\u20131417. 10.1145\/3510003.3510133"},{"key":"e_1_3_2_1_45_1","unstructured":"LLVM. Accessed in April 2025. Source-based Code Coverage. https:\/\/clang.llvm.org\/docs\/SourceBasedCodeCoverage.html."},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI '22)","author":"Lou Chang","year":"2022","unstructured":"Chang Lou, Yuzhuo Jing, and Peng Huang. 2022. Demystifying and Checking Silent Semantic Violations in Large Distributed Systems. In Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI '22). USENIX Association, Carlsbad, CA, USA, 91\u2013107. https:\/\/www.usenix.org\/conference\/osdi22\/presentation\/lou-demystifying"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001","author":"Marinov D.","year":"2001","unstructured":"D. Marinov and S. Khurshid. 2001. TestEra: a novel framework for automated testing of Java programs. In Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001). 22\u201331. 10.1109\/ASE.2001.989787"},{"key":"e_1_3_2_1_48_1","volume-title":"2023 IEEE Conference on Software Testing, Verification and Validation (ICST). 176\u2013187","author":"Mista Agust\u00edn","year":"2023","unstructured":"Agust\u00edn Mista and Alejandro Russo. 2023. MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations. In 2023 IEEE Conference on Software Testing, Verification and Validation (ICST). 176\u2013187. 10.1109\/ICST57152.2023.00025"},{"key":"e_1_3_2_1_49_1","volume-title":"Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Mohan Jayashree","year":"2018","unstructured":"Jayashree Mohan, Ashlie Martinez, Soujanya Ponnapalli, Pandian Raju, and Vijay Chidambaram. 2018. Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). USENIX Association, Carlsbad, CA, 33\u201350. https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/mohan"},{"key":"e_1_3_2_1_50_1","volume-title":"Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (Tallinn, Estonia) (ESEC\/FSE","author":"M\u00f8ller Anders","year":"2019","unstructured":"Anders M\u00f8ller and Martin Toldam Torp. 2019. Model-Based Testing of Breaking Changes in Node.js Libraries. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (Tallinn, Estonia) (ESEC\/FSE 2019). Association for Computing Machinery, New York, NY, USA, 409\u2013419. 10.1145\/3338906.3338940"},{"key":"e_1_3_2_1_51_1","volume-title":"Twine: An Embedded Trusted Runtime for WebAssembly. In 2021 IEEE 37th International Conference on Data Engineering (ICDE). 205\u2013216","author":"M\u00e9n\u00e9trey J\u00e4mes","year":"2021","unstructured":"J\u00e4mes M\u00e9n\u00e9trey, Marcelo Pasin, Pascal Felber, and Valerio Schiavoni. 2021. Twine: An Embedded Trusted Runtime for WebAssembly. In 2021 IEEE 37th International Conference on Data Engineering (ICDE). 205\u2013216. 10.1109\/ICDE51399.2021.00025"},{"key":"e_1_3_2_1_52_1","volume-title":"Proceedings of the 4th International Workshop on Edge Systems, Analytics and Networking","author":"Nieke Manuel","year":"2021","unstructured":"Manuel Nieke, Lennart Almstedt, and R\u00fcdiger Kapitza. 2021. Edgedancer: Secure Mobile WebAssembly Services on the Edge. In Proceedings of the 4th International Workshop on Edge Systems, Analytics and Networking (Online, United Kingdom) (EdgeSys '21). Association for Computing Machinery, New York, NY, USA, 13\u201318. 10.1145\/3434770.3459731"},{"key":"e_1_3_2_1_53_1","unstructured":"Emma Ning Yulong Wang and Du Li. September 2021. ONNX Runtime Web\u2014running your machine learning model in browser. https:\/\/cloudblogs.microsoft.com\/opensource\/2021\/09\/02\/onnx-runtime-web-running-your-machine-learning-model-in-browser."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_55_1","volume-title":"Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering","author":"Pan Lianglu","year":"2024","unstructured":"Lianglu Pan, Shaanan Cohney, Toby Murray, and Van-Thuan Pham. 2024. EDEFuzz: A Web API Fuzzer for Excessive Data Exposures. In Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering (Lisbon, Portugal) (ICSE '24). Association for Computing Machinery, New York, NY, USA, Article 45, 12 pages. 10.1145\/3597503.3608133"},{"key":"e_1_3_2_1_56_1","volume-title":"Pierce","author":"Paraskevopoulou Zoe","year":"2015","unstructured":"Zoe Paraskevopoulou, C\u0103t\u0103lin Hri\u0163cu, Maxime D\u00e9n\u00e8s, Leonidas Lampropoulos, and Benjamin C. Pierce. 2015. Foundational Property-Based Testing. In Interactive Theorem Proving, Christian Urban and Xingyuan Zhang (Eds.). Springer International Publishing, Cham, 325\u2013343."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3012647"},{"key":"e_1_3_2_1_58_1","volume-title":"Proceedings of the 13rd IEEE International Conference on Software Testing, Verification and Validation : Testing Tools Track.","author":"Pham Van-Thuan","year":"2020","unstructured":"Van-Thuan Pham, Marcel B\u00f6hme, and Abhik Roychoudhury. 2020. AFLNet: A Greybox Fuzzer for Network Protocols. In Proceedings of the 13rd IEEE International Conference on Software Testing, Verification and Validation : Testing Tools Track."},{"key":"e_1_3_2_1_59_1","volume-title":"Proceedings of the 27th International Conference on Software Engineering (St","author":"Pretschner A.","unstructured":"A. Pretschner, W. Prenninger, S. Wagner, C. K\u00fchnel, M. Baumgartner, B. Sostawa, R. Z\u00f6lch, and T. Stauner. 2005. One Evaluation of Model-Based Testing and its Automation. In Proceedings of the 27th International Conference on Software Engineering (St. Louis, MO, USA) (ICSE '05). Association for Computing Machinery, New York, NY, USA, 392\u2013401. 10.1145\/1062455.1062529"},{"key":"e_1_3_2_1_60_1","volume-title":"Proceedings of the 25th Symposium on Operating Systems Principles","author":"Ridge Tom","year":"2015","unstructured":"Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, and Peter Sewell. 2015. SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. In Proceedings of the 25th Symposium on Operating Systems Principles (Monterey, California) (SOSP '15). Association for Computing Machinery, New York, NY, USA, 38\u201353. 10.1145\/2815400.2815411"},{"key":"e_1_3_2_1_61_1","volume-title":"Accessed","author":"WASI","year":"2025","unstructured":"WASI SDK. Accessed in April 2025. WASI-enabled WebAssembly C\/C++ toolchain. https:\/\/github.com\/WebAssembly\/wasi-sdk."},{"key":"e_1_3_2_1_62_1","unstructured":"Daniel Smilkov Nikhil Thorat and Ann Yuan. March 2020. Introducing the WebAssembly backend for TensorFlow.js. https:\/\/blog.tensorflow.org\/2020\/03\/introducing-webassembly-backend-for-tensorflow-js.html."},{"key":"e_1_3_2_1_63_1","volume-title":"Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering","author":"Su Ting","year":"2017","unstructured":"Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su. 2017. Guided, Stochastic Model-Based GUI Testing of Android Apps. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (Paderborn, Germany) (ESEC\/FSE 2017). Association for Computing Machinery, New York, NY, USA, 245\u2013256. 10.1145\/3106237.3106298"},{"key":"e_1_3_2_1_64_1","volume-title":"KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. In 2022 USENIX Annual Technical Conference (USENIX ATC 22)","author":"Sun Hao","year":"2022","unstructured":"Hao Sun, Yuheng Shen, Jianzhong Liu, Yiru Xu, and Yu Jiang. 2022. KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. In 2022 USENIX Annual Technical Conference (USENIX ATC 22). USENIX Association, Carlsbad, CA, 351\u2013366. https:\/\/www.usenix.org\/conference\/atc22\/presentation\/sun"},{"key":"e_1_3_2_1_65_1","unstructured":"Hung-Ying Tai. 2023. WasmEdge issue #3062 comment. https:\/\/github.com\/WasmEdge\/WasmEdge\/issues\/3062#issuecomment-1833453372"},{"key":"e_1_3_2_1_66_1","unstructured":"Tetrate.io Inc. Accessed in April 2025. wazero. https:\/\/wazero.io."},{"key":"e_1_3_2_1_67_1","unstructured":"Userzxcvbvnm. June 2024. File fd_pwrite bug #8817. https:\/\/github.com\/bytecodealliance\/wasmtime\/issues\/8817."},{"key":"e_1_3_2_1_68_1","volume-title":"2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). IEEE, 142\u2013152","author":"Viglianisi Emanuele","year":"2020","unstructured":"Emanuele Viglianisi, Michael Dallago, and Mariano Ceccato. 2020. Resttestgen: automated black-box testing of restful apis. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). IEEE, 142\u2013152."},{"key":"e_1_3_2_1_69_1","volume-title":"SyzVegas: Beating Kernel Fuzzing Odds with Reinforcement Learning. In 30th USENIX Security Symposium (USENIX Security 21)","author":"Wang Daimeng","year":"2021","unstructured":"Daimeng Wang, Zheng Zhang, Hang Zhang, Zhiyun Qian, Srikanth V. Krishnamurthy, and Nael Abu-Ghazaleh. 2021. SyzVegas: Beating Kernel Fuzzing Odds with Reinforcement Learning. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 2741\u20132758. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/wang-daimeng"},{"key":"e_1_3_2_1_70_1","volume-title":"MLEE: Effective Detection of Memory Leaks on Early-Exit Paths in OS Kernels. In 2021 USENIX Annual Technical Conference (USENIX ATC 21)","author":"Wang Wenwen","year":"2021","unstructured":"Wenwen Wang. 2021. MLEE: Effective Detection of Memory Leaks on Early-Exit Paths in OS Kernels. In 2021 USENIX Annual Technical Conference (USENIX ATC 21). USENIX Association, 31\u201345. https:\/\/www.usenix.org\/conference\/atc21\/presentation\/wang-wenwen"},{"key":"e_1_3_2_1_71_1","volume-title":"Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","author":"Wang Zan","year":"2020","unstructured":"Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, and Dongdi Zhang. 2020. Deep Learning Library Testing via Effective Model Generation. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (Virtual Event, USA) (ESEC\/FSE 2020). Association for Computing Machinery, New York, NY, USA, 788\u2013799. 10.1145\/3368089.3409761"},{"key":"e_1_3_2_1_72_1","volume-title":"Accessed","author":"NN.","year":"2025","unstructured":"WASI-NN. Accessed in April 2025. A proposed WebAssembly System Interface API for machine learning (ML). https:\/\/github.com\/WebAssembly\/wasi-nn."},{"key":"e_1_3_2_1_73_1","volume-title":"Accessed","year":"2025","unstructured":"Wasmer. Accessed in April 2025. Wasmer: The Universal WebAssembly Runtime. https:\/\/wasmer.io."},{"key":"e_1_3_2_1_74_1","volume-title":"2020 IEEE 13th International Conference on Cloud Computing (CLOUD). 353\u2013360","author":"Wen Elliott","year":"2020","unstructured":"Elliott Wen and Gerald Weber. 2020. Wasmachine: Bring the Edge up to Speed with A WebAssembly OS. In 2020 IEEE 13th International Conference on Cloud Computing (CLOUD). 353\u2013360. 10.1109\/CLOUD49709.2020.00056"},{"key":"e_1_3_2_1_75_1","volume-title":"Proceedings of the 44th International Conference on Software Engineering","author":"Wu Huayao","year":"2022","unstructured":"Huayao Wu, Lixin Xu, Xintao Niu, and Changhai Nie. 2022. Combinatorial Testing of RESTful APIs. In Proceedings of the 44th International Conference on Software Engineering (Pittsburgh, Pennsylvania) (ICSE '22). Association for Computing Machinery, New York, NY, USA, 426\u2013437. 10.1145\/3510003.3510151"},{"key":"e_1_3_2_1_76_1","volume-title":"Proceedings of the 45th International Conference on Software Engineering","author":"Yandrapally Rahulkrishna","year":"2023","unstructured":"Rahulkrishna Yandrapally, Saurabh Sinha, Rachel Tzoref-Brill, and Ali Mesbah. 2023. Carving UI Tests to Generate API Tests and API Specification. In Proceedings of the 45th International Conference on Software Engineering (Melbourne, Victoria, Australia) (ICSE '23). IEEE Press, 1971\u20131982. 10.1109\/ICSE48619.2023.00167"},{"key":"e_1_3_2_1_77_1","volume-title":"6th Symposium on Operating Systems Design & Implementation (OSDI 04)","author":"Yang Junfeng","year":"2004","unstructured":"Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi. 2004. Using Model Checking to Find Serious File System Errors. In 6th Symposium on Operating Systems Design & Implementation (OSDI 04). USENIX Association, San Francisco, CA. https:\/\/www.usenix.org\/conference\/osdi-04\/using-model-checking-find-serious-file-system-errors"},{"key":"e_1_3_2_1_78_1","volume-title":"Accessed","author":"Zalewski Michal","year":"2025","unstructured":"Michal Zalewski. Accessed in April 2025. American Fuzzy Lop (AFL). https:\/\/lcamtuf.coredump.cx\/afl."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3716379"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/3641103"},{"key":"e_1_3_2_1_81_1","volume-title":"StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing. In 31st USENIX Security Symposium (USENIX Security 22)","author":"Zhao Bodong","year":"2022","unstructured":"Bodong Zhao, Zheming Li, Shisong Qin, Zheyu Ma, Ming Yuan, Wenyu Zhu, Zhihong Tian, and Chao Zhang. 2022. StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 3273\u20133289. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/zhao-bodong"},{"key":"e_1_3_2_1_82_1","volume-title":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","author":"Zhou Chijin","year":"2022","unstructured":"Chijin Zhou, Quan Zhang, Mingzhe Wang, Lihua Guo, Jie Liang, Zhe Liu, Mathias Payer, and Yu Jiang. 2022. Minerva: Browser API Fuzzing with Dynamic Mod-Ref Analysis. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (Singapore, Singapore) (ESEC\/FSE 2022). Association for Computing Machinery, New York, NY, USA, 1135\u20131147. 10.1145\/3540250.3549107"},{"key":"e_1_3_2_1_83_1","volume-title":"Proceedings of the 38th IEEE\/ACM International Conference on Automated Software Engineering","author":"Zhou Shiyao","year":"2024","unstructured":"Shiyao Zhou, Muhui Jiang, Weimin Chen, Hao Zhou, Haoyu Wang, and Xiapu Luo. 2024. WADIFF: A Differential Testing Framework for WebAssembly Runtimes. In Proceedings of the 38th IEEE\/ACM International Conference on Automated Software Engineering (Echternach, Luxembourg) (ASE '23). IEEE Press, 939\u2013950. 10.1109\/ASE56229.2023.00188"},{"key":"e_1_3_2_1_84_1","volume-title":"LWDIFF: An LLM-Assisted Differential Testing Framework for WebAssembly Runtimes. In 2025 IEEE\/ACM 47th International Conference on Software Engineering (ICSE). IEEE Computer Society","author":"Zhou Shiyao","year":"2025","unstructured":"Shiyao Zhou, Jincheng Wang, He Ye, Hao Zhou, Claire Le Goues, and Xiapu Luo. 2025. LWDIFF: An LLM-Assisted Differential Testing Framework for WebAssembly Runtimes. In 2025 IEEE\/ACM 47th International Conference on Software Engineering (ICSE). IEEE Computer Society, Los Alamitos, CA, USA, 769\u2013769. 10.1109\/ICSE55347.2025.00233"}],"event":{"name":"SOSP '25: ACM SIGOPS 31st Symposium on Operating Systems Principles","location":"Lotte Hotel World Seoul Republic of Korea","acronym":"SOSP '25","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX"]},"container-title":["Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles"],"original-title":[],"deposited":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T12:53:13Z","timestamp":1759323193000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731569.3764819"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,12]]},"references-count":84,"alternative-id":["10.1145\/3731569.3764819","10.1145\/3731569"],"URL":"https:\/\/doi.org\/10.1145\/3731569.3764819","relation":{},"subject":[],"published":{"date-parts":[[2025,10,12]]},"assertion":[{"value":"2025-10-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}