collaborators

1 paper

cs.HC2026

Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines

Donghee Hong, Minjong Kim, Sooyoung Cha +1

Symbolic execution engines such as KLEE automatically generate test cases to maximize branch coverage, but their numerous parameters make it difficult to understand the parameters'…