NNrepair: Constraint-Based Repair of Neural Network Classifiers

by Usman, Muhammad, Gopinath, Divya, Sun, Youcheng, Noller, Yannic, Păsăreanu, C.S.
Published 2022

RobOT: Robustness-oriented testing for deep learning systems

by WANG, Jingyi, CHEN, Jialuo, SUN, Youcheng, MA, Xingjun, WANG, Dongxia, SUN, Jun, CHENG, Peng
Published 2021

QuoTe: Quality-oriented Testing for deep learning systems

by CHEN, Jialuo, WANG, Jingyi, MA, Xingjun, SUN, Youcheng, SUN, Jun, ZHANG, Peixin, CHENG, Peng
Published 2022