Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines. - Hong, D.; Kim, M.; Cha, S.; Jo, J. (Computer Graphics Forum, 2026)