SymTuner
An independent tool that tunes KLEE's options adaptively. The entries run its artifact, ported to the study's KLEE build, under KLEE's symbolic-argument harness.
Terms
- Release
- A dated snapshot of the data, named like 2026.1. It never changes; corrections go into the next release.
- Entry
- A tool in one version and configuration, with a model, a track and a budget. One row of the data.
- Superseded
- An entry that a newer one replaces. It stays in the release and shows under all versions.
- Withdrawn
- An entry taken out of the comparison after it was published.
Project: github.com/skkusal/symtuner
Reference: doi.org/10.1145/3510003.3510185
Versions
| Entry | Version | Model | Configuration | Submitted | First release | Programs covered | Status |
|---|---|---|---|---|---|---|---|
| SymTuner, 6 cores | 71806b45 | – | artifact port; symbolic-argument harness; six workers | 2026-10-16 | 2026.1 | 18 of 18 | current |
| SymTuner, 1 core | 71806b45 | – | artifact port; symbolic-argument harness; one worker | 2026-10-16 | 2026.1 | 18 of 18 | current |
| SymTuner rerun, 6 cores | 71806b45 | – | artifact port; symbolic-argument harness; six workers; rerun with the baseline's master seeds | 2026-10-16 | 2026.1 | 7 of 18 | current |
| SymTuner from the agent's seeds, 6 cores, its own tests | 71806b45 | – | artifact port; six workers; started from the agent's seeds; its own tests only | 2026-10-16 | 2026.1 | 7 of 18 | current |