date_utc=2026-08-15T14:08:13Z
kernel=Linux 7.0.0-28-generic x86_64
python=3.12.3
cpu=AMD Ryzen Threadripper PRO 9995WX 96-Cores
logical_cpus=192
llvm_config=17.0.6
pytest=pytest 9.1.1
afl_showmap=afl-showmap++4.40c
z3=4.8.12
paper_title=TopSeed: Learning Seed Selection Strategies for Symbolic Execution from Scratch
authors=Jaehyeok Lee; Sooyoung Cha
venue=ICSE 2025
paper_doi=https://doi.org/10.1109/ICSE55347.2025.00095
artifact_doi=https://doi.org/10.5281/zenodo.14602979
repository=https://github.com/skkusal/TopSeed
repository_head=2193d090a6650edc08ee30b927e65ba9e6f9e045
artifact_archive_sha256=7faee4308f67ba21518935c002948b924f5ae137d5676bb329202fcd6b576d12
accepted_paper_sha256=dac02e44533adc16527254370c1f7f5319f15f3f88e30e9a058e9b963f3e0b13
artifact_archive_commit_comment=339ace19430169a91f2f1a5bb121a9cd19f365b8
implementation_scope=bounded persistent cross-run seed selection in MPI hybrid campaign
claim_boundary=mechanism only; no public coverage, solver-throughput, bug-yield, or end-to-end speedup claim