Formalizing UML state machines for automated verification: A survey

بواسطة ETIENE, Andre, LIU, Shuang, LIU, Yang, CHOPPY, Christine, SUN, Jun, DONG, Jinsong
منشور في 2023

DeepArc: Modularizing neural networks for the model maintenance

بواسطة REN, Xiaoning, LIN, Yun, XUE, Yinxing, LIU, Ruofan, SUN, Jun, FENG, Zhiyong, DONG, Jinsong
منشور في 2023

Automatic fairness testing of neural classifiers through adversarial sampling

بواسطة ZHANG, Peixin, WANG, Jingyi, SUN, Jun, WANG, Xinyu, DONG, Guoliang, WANG, Xinggen, DAI, Ting, DONG, Jinsong
منشور في 2021

Explaining regressions via alignment slicing and mending

بواسطة WANG, Haijun, LIN, Yun, YANG, Zijiang, SUN, Jun, LIU, Yang, DONG, Jinsong, ZHENG, Qinghua, LIU, Ting
منشور في 2019

An empirical study on correlation between coverage and robustness for deep neural networks

بواسطة DONG, Yizhen, ZHANG, Peixin, WANG, Jingyi, LIU, Shuang, SUN, Jun, HAO, Jianye, WANG, Xinyu, WANG, Li, DONG, Jinsong, DAI, Ting
منشور في 2020