Agent Software Testing

ConcoLLMic

An agentic concolic executor.

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.
All tools

Project: github.com/ConcoLLMic/ConcoLLMic

Reference: doi.org/10.1109/SP63933.2026.00003

Versions

Every entry of ConcoLLMic
EntryVersionModelConfigurationSubmittedFirst releasePrograms coveredStatus
ConcoLLMic, GPT-5.59634e686+f3fd7c36GPT-5.5--timeout 10 --plateau_slot 30 --parallel_num 5; reasoning effort medium2026-10-162026.17 of 18current
ConcoLLMic, DeepSeek V4.1 Flash9634e686+f3fd7c36DeepSeek V4.1 Flash--timeout 10 --plateau_slot 30 --parallel_num 5; reasoning effort medium2026-10-162026.13 of 18current

Median coverage by version

Median final branch coverage of every entry of ConcoLLMic by program
ProgramConcoLLMicGPT-5.59634e686+f3fd7c362026-10-16ConcoLLMicDeepSeek V4.1 Flash9634e686+f3fd7c362026-10-16
bc69.4%, 3 runsno runs
Confetti49.3%†, 2 runs49.5%, 3 runs
Krep72.7%, 3 runs71.4%, 3 runs
Libmatheval56.5%†, 2 runsno runs
LibYAML42.4%, 3 runsno runs
Oggenc57.8%, 3 runsno runs
WOFF215.4%†, 1 run16.5%, 3 runs