TY  - RPRT
TI  - Soteria: Efficient Symbolic Execution as a Functional Library
AU  - Sacha-Élie Ayoun
AU  - Opale Sjöstedt
AU  - Azalea Raad
PY  - 2026
DO  - 10.1145/3808306
UR  - https://arxiv.org/abs/2511.08729
ID  - 2511.08729
ER  -