TY  - RPRT
TI  - Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
AU  - Haoxin Tu
AU  - Seongmin Lee
AU  - Yuxian Li
AU  - Peng Chen
AU  - Lingxiao Jiang
AU  - Marcel Böhme
PY  - 2025
UR  - https://arxiv.org/abs/2504.17542
ID  - 2504.17542
ER  -