Donghee Hong, Minjong Kim, Sooyoung Cha, Jaemin Jo: Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines. Comput. Graph. Forum 45(3) (2026)