Post #1386 545 Apr 27, 2025, 21:20 UTC Large Language Model-Driven Concolic Executionfor Highly Structured Test Input Generationhttps://arxiv.org/pdf/2504.17542 👍 1