ConcoLixir: Reactive LLM Discovery Oracles for Python Concolic Testing

Dong Chen, Chih-Duo Hong, Fang Yu

Concolic testing combines concrete execution with symbolic constraint solving, but Python programs expose recurring limits. Library calls can cause symbolic variables to downgrade…