arxiv-2601.12274-hybrid-concolic-llm.md

Hybrid concolic testing with LLMs for guided path exploration