@misc{indiciae2d5b4413b51d,
  title = {WRTester: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation},
  author = {Shangtong Cao and Ningyu He and Xinyu She and Yixuan Zhang and Mu Zhang and Haoyu Wang},
  year = {2023},
  url = {https://arxiv.org/abs/2312.10456},
  note = {Source identifier: 2312.10456}
}