Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation.

Haoxin Tu, Seongmin Lee, Yuxian Li, Peng Chen, Lingxiao Jiang, Marcel Bhme

Browse the full SP paper archive.