2022
|
Verifying Neural Networks Against Backdoor Attacks.
Long H. Pham, Jun Sun.
CAV 2022.
|
|
|
Adaptive Fairness Improvement based Causality Analysis.
Mengdi Zhang, Jun Sun.
ESEC/FSE 2022.
|
|
|
Causality-Based Neural Network Repair.
Bing Sun, Jun Sun, Long H. Pham, Jie Shi.
ICSE 2022.
Instruction.
|
|
|
ExAIs: Executable AI Semantics.
Richard Schumi, Jun Sun.
ICSE 2022.
|
2021
|
Probabilistic Verification of Neural Networks Against Group Fairness.
Bing Sun, Jun Sun, Ting Dai, Lijun Zhang.
FM 2021.
|
|
|
RobOT: Robustness-Oriented Testing for Deep Learning Systems.
Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Jun Sun, Peng Cheng.
ICSE 2021.
|
|
|
Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling.
Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xinggen Wang, Ting Dai, Jinsong Dong.
TSE 2021.
|
|
|
Attack as Defense: Characterizing Adversarial Examples using Robustness.
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun.
ISSTA 2021.
|
|
|
Improving Neural Network Verification through Spurious Region Guided Refinement.
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang.
TACAS 2021.
|
2020
|
SOCRATES: Towards a Unified Platform for Neural Network Analysis.
Long H. Pham, Jiaying Li, Jun Sun.
Preprint.
|
|
|
White-box Fairness Testing through Adversarial Sampling.
Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong, Dai Ting.
ICSE 2020.
|
|
|
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction.
Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong, Xingen Wang.
ASE 2020.
|
|
|
Global PAC Bounds for Learning Discrete Time Markov Chains.
Hugo Bazille, Blaise Genest, Cyrille Jegourel, Jun Sun.
CAV 2020.
|
2019
|
Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing.
Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, Zhang Peixin.
ICSE 2019.
|