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

Sehoon Kim, Yonghyeon Kim, Dahyeon Park, Yuseok Jeon, Jooyong Yi, Mijung Kim

Browse the full ICSE paper archive.