Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
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…
cs.SE2025
Influence-Guided Concolic Testing of Transformer Robustness
Chih-Duo Hong, Chih-Cheng Yang, Yu Wang +1
Concolic testing for neural networks alternates concrete execution with constraint solving to search for inputs that flip model decisions. We present a concolic tester for Transfor…