@misc{indiciae31e701d5a7ae,
  title = {Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots (Extended Version)},
  author = {Dinghong Zhong and Alexander Bai and Mikail Khan and Guannan Wei},
  year = {2026},
  url = {https://arxiv.org/abs/2608.18327},
  note = {Source identifier: 2608.18327}
}