Detecting Deep Neural Network Defects with Data Flow Analysis. - Jiazhen Gu; Huanlin Xu; Yangfan Zhou; Xin Wang 002; Hui Xu 009; Michael R. Lyu (CoRR, 2019)

Data Sanity Check for Deep Learning Systems via Learnt Assertions. - Haochuan Lu; Huanlin Xu; Nana Liu; Yangfan Zhou; Xin Wang 002 (CoRR, 2019)

Detecting Deep Neural Network Defects with Data Flow Analysis. - Jiazhen Gu; Huanlin Xu; Haochuan Lu; Yangfan Zhou; Xin Wang 002 (DSN Workshops, 2021)