TopSeed : Learning Seed Selection Strategies for Symbolic Execution from Scratch

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.