LANTERN：规范驱动的 WebGPU 动态一致性测试与变异
原标题：Dynamic Conformance Testing of WebGPU Through Specification-Driven Mutation
AI 摘要
新泽西理工学院的研究者提出 LANTERN，一个由规范驱动的 WebGPU 动态一致性测试框架。它从 WebIDL 定义中提取语法 API 规则，并从自然语言规范文本中恢复命令顺序、对象生命周期等语义约束，据此对官方 CTS 测试进行变异，生成合法与故意非法的测试变体。研究者在 AddressSanitizer 插桩的 Chromium 上大规模执行这些测试，发现三个可复现的 bug，其中包括一个堆内存破坏问题。
正文节选
[Page 1] Dynamic Conformance Testing of WebGPU Through Specification-Driven Mutation Mahya Samdaliri, Zhihao (Zephyr) Yao, Kasthuri Jayarajah New Jersey Institute of Technology {ms3539, zhihao.yao, kasthuri.jayarajah}@njit.edu Abstract—WebGPU is a low-level graphics and compute API [5]. Browsers translate sandboxed WebGPU JavaScript com- that exposes modern GPU functionality to