TY  - RPRT
TI  - Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines
AU  - Donghee Hong
AU  - Minjong Kim
AU  - Sooyoung Cha
AU  - Jaemin Jo
PY  - 2026
UR  - https://arxiv.org/abs/2604.05349
ID  - 2604.05349
ER  -