Concolic Testing on Individual Fairness of Neural Network Models. - HUANG, MING-I.; HONG, CHIH-DUO; YU, FANG (Journal of Information Science & Engineering, 2026)