Haoxin Tu, Seongmin Lee 0001, Yuxian Li, Peng Chen, Lingxiao Jiang, Marcel Böhme. Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation. In IEEE Symposium on Security and Privacy, SP 2026, San Francisco, CA, USA, May 18-21, 2026. pages 3509-3527, IEEE, 2026. [doi]
Abstract is missing.