Published January 6, 2025
| Version v1
Conference paper
Open
TopSeed : Learning Seed Selection Strategies for Symbolic Execution from Scratch
Authors/Creators
Description
Topseed is a novel technique designed to enhance symbolic execution by selecting the most promising seeds without prior knowledge using a learning-based approach. This tool is basically implemented on the top of KLEE, an actively maintained symbolic executor for testing C programs.
Files
TopSeed.zip
Files
(1.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c02d1835d1340870a1b88c9f595f9aa4
|
1.9 MB | Preview Download |