Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries. - Sehoon Kim; Yonghyeon Kim; Dahyeon Park; Yuseok Jeon; Jooyong Yi; Mijung Kim (ICSE, 2025)