Formalizing UML state machines for automated verification: A survey

by ETIENE, Andre, LIU, Shuang, LIU, Yang, CHOPPY, Christine, SUN, Jun, DONG, Jinsong
Published 2023

DeepArc: Modularizing neural networks for the model maintenance

by REN, Xiaoning, LIN, Yun, XUE, Yinxing, LIU, Ruofan, SUN, Jun, FENG, Zhiyong, DONG, Jinsong
Published 2023

Automatic fairness testing of neural classifiers through adversarial sampling

by ZHANG, Peixin, WANG, Jingyi, SUN, Jun, WANG, Xinyu, DONG, Guoliang, WANG, Xinggen, DAI, Ting, DONG, Jinsong
Published 2021

Explaining regressions via alignment slicing and mending

by WANG, Haijun, LIN, Yun, YANG, Zijiang, SUN, Jun, LIU, Yang, DONG, Jinsong, ZHENG, Qinghua, LIU, Ting
Published 2019

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

by DONG, Yizhen, ZHANG, Peixin, WANG, Jingyi, LIU, Shuang, SUN, Jun, HAO, Jianye, WANG, Xinyu, WANG, Li, DONG, Jinsong, DAI, Ting
Published 2020