Topseed: Learning Seed Selection Strategies for Symbolic Execution from Scratch - Lee, Jaehyeok; Cha, Sooyoung (Proceedings / International Conference on Software Engineering, 2025)
Keywords: Boosting; Codes; Computer bugs; Performance gain; Search problems; Software engineering