Topseed: Learning Seed Selection Strategies for Symbolic Execution from Scratch

• Published in: Proceedings / International Conference on Software Engineering pp. 1604 - 1615
• Main Authors: Lee, Jaehyeok, Cha, Sooyoung
• Format: Conference Proceeding
• Language: English
• Published: IEEE 26.04.2025
• Subjects: Boosting; Codes; Computer bugs; Performance gain; Search problems; Software engineering

We present TopSeed, a new approach that automatically selects optimal seeds to enhance symbolic execution. Recently, the performance of symbolic execution has significantly improved through various state-of-the-art techniques, including search strategies and state-pruning heuristics. However, these...