Influence-Guided Concolic Testing of Transformer Robustness. - Chih-Duo Hong; Yu Wang; Yao-Chen Chang; Fang Yu (CoRR, 2025)