论文
2022
Adversarial Input Detection Based on Critical Transformation Robustness
ISSRE 2022CCF BJing SuZhen ZhangPeng WuXuran LiJian ZhangAllSATCC: Boosting AllSAT Solving with Efficient Component Analysis
IJCAI 2022CCF BJiaxin LiangFeifei MaJunping ZhouMinghao YinAUGER: automatically generating review comments with pre-training models
ESEC/FSE 2022CCF ALingwei LiLi YangHuaxi JiangJun YanTiejian LuoZihan HuaGeng LiangChun ZuoComOpT: Combination and Optimization for Testing Autonomous Driving Systems
ICRA 2022CCF BChangwen LiChih-Hong ChengTiantian SunYuhang ChenRongjie YanHunting bugs with accelerated optimal graph vertex matching
ISSTA 2022CCF AXiaohui ZhangYuanjun GongBin LiangJianjun HuangWei YouWenchang ShiJian Zhang𝜀 -weakened robustness of deep neural networks
ISSTA 2022CCF APei HuangYuting YangMinghao LiuFuqi JiaFeifei MaJian ZhangImproving Simulated Annealing for Clique Partitioning Problems
JAIR 2022CCF BJian GaoYiqi LvMinghao LiuShaowei CaiFeifei Ma- SCIS 2022CCF AYupeng ZhouMingjie FanFeifei MaMinghao Yin
Test case prioritization with neuron valuation based pattern
SCP 2022CCF BRongjie YanYuhang ChenHongyu GaoJun Yan
2021
Continuous Safety Verification of Neural Networks
DATE 2021CCF BChih-Hong ChengRongjie YanMonitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions
IROS 2021CCF CYuhang ChenChih-Hong ChengJun YanRongjie YanStability evaluation for text localization systems via metamorphic testing
JSS 2021CCF BRongjie YanSiqi WangYixuan YanHongyu GaoJun YanTesting Autonomous Systems with Believed Equivalence Refinement
AITest 2021Chih-Hong ChengRongjie Yan
2020
- Appl. Soft Comput. 2020Yupeng ZhouMingjie FanFeifei MaXin XuMinghao Yin
Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs
ICAPS 2020CCF BRongjie YanYupeng ZhouAnyu CaiChangwen LiYige YanMinghao Yin- TR 2020CCF CLong ZhangZijie LiYang FengZhenyu ZhangWing Kwong ChanJian ZhangYuming Zhou
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。