Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries

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