arxiv-2504.17542-cottontail.md

LLM-driven concolic execution for structured test input generation