@misc{indiciaee46f232dbddf,
  title = {Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly},
  author = {Léo Andrès and Filipe Marques and Arthur Carcano and Pierre Chambart and José Fragoso Santos and Jean-Christophe Filliâtre},
  year = {2024},
  doi = {10.22152/programming-journal.org/2025/9/3},
  url = {https://arxiv.org/abs/2412.06391},
  note = {Source identifier: 2412.06391}
}