TY  - RPRT
TI  - Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
AU  - Léo Andrès
AU  - Filipe Marques
AU  - Arthur Carcano
AU  - Pierre Chambart
AU  - José Fragoso Santos
AU  - Jean-Christophe Filliâtre
PY  - 2024
DO  - 10.22152/programming-journal.org/2025/9/3
UR  - https://arxiv.org/abs/2412.06391
ID  - 2412.06391
ER  -