Symetra uses visual overviews and group comparison tools to help experts tune symbolic execution parameters, achieving higher branch coverage and faster tuning than fully automated methods.
C., DEMETRESCUC., LENTIS., NICCHIS., SAN- TUCCIG.: Symnav: Visually assisting symbolic execution
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.HC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines
Symetra uses visual overviews and group comparison tools to help experts tune symbolic execution parameters, achieving higher branch coverage and faster tuning than fully automated methods.