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…