Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Haoxin Tu' in GoogleThis author has not been identified. Look up 'Seongmin Lee 0001' in GoogleThis author has not been identified. Look up 'Yuxian Li' in GoogleThis author has not been identified. Look up 'Peng Chen' in GoogleThis author has not been identified. Look up 'Lingxiao Jiang' in GoogleThis author has not been identified. It may be one of the following persons:

Marcel Böhme

Look up 'Marcel Böhme' in Google

runs on WebDSL