Publications

206 publications

2022

A Comprehensive Evaluation of Android ICC Resolution Techniques
ASE 2022Jiwei Yan Shixin ZhangYepang LiuXi Deng Jun Yan Jian Zhang
Code
Adversarial Input Detection Based on Critical Transformation Robustness
ISSRE 2022Jing Su Zhen ZhangPeng WuXuran LiJian Zhang
AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis
IJCAI 2022Jiaxin LiangFeifei MaJunping ZhouMinghao Yin
AUGER: automatically generating review comments with pre-training models
ESEC/FSE 2022Lingwei LiLi YangHuaxi JiangJun YanTiejian LuoZihan HuaGeng LiangChun Zuo
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems
ICRA 2022Changwen LiChih-Hong ChengTiantian SunYuhang ChenRongjie Yan
ExcePy: A Python Benchmark for Bugs with Python Built-in Types
SANER 2022Xin Zhang Rongjie Yan Jiwei Yan Baoquan Cui Jun Yan Jian Zhang
Hunting bugs with accelerated optimal graph vertex matching
ISSTA 2022Xiaohui ZhangYuanjun GongBin LiangJianjun HuangWei YouWenchang ShiJian Zhang
𝜀 -weakened robustness of deep neural networks
ISSTA 2022Pei HuangYuting YangMinghao Liu Fuqi Jia Feifei Ma Jian Zhang
ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications
ICSE 2022Jiwei Yan Shixin ZhangYepang LiuJun Yan Jian Zhang
Code
Improving Simulated Annealing for Clique Partitioning Problems
JAIR 2022Jian GaoYiqi Lv Minghao LiuShaowei CaiFeifei Ma
Layer-Specific Repair of Neural Network Classifiers
ICANN 2022Shuo Sun Jun Yan Rongjie Yan
Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling
SCIS 2022Yupeng ZhouMingjie FanFeifei MaMinghao Yin
String Test Data Generation for Java Programs
ISSRE 2022Miaomiao Wang Baoquan Cui Jiwei Yan Jun Yan Jian Zhang
Test case prioritization with neuron valuation based pattern
SCP 2022Rongjie YanYuhang ChenHongyu GaoJun Yan
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022Pei HuangYuting YangFuqi Jia Minghao Liu Feifei Ma Jian Zhang

2021

Are the Scala Checks Effective? Evaluating Checks with Real-world Projects
QRS 2021Xin Zhang Jiwei Yan Baoquan Cui Jun Yan Jian Zhang
Continuous Safety Verification of Neural Networks
DATE 2021Chih-Hong ChengRongjie Yan
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers
ASE 2021Xutong Ma Jiwei Yan Wei Wang Jun Yan Jian ZhangZongyan Qiu
Dynamic Detection of AsyncTask Related Defects
QRS 2021Qing Liu Linjie Pan Baoquan Cui Jun Yan Jian Zhang
Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
SAT 2021Pei Huang Rundong Li Minghao Liu Feifei Ma Jian Zhang
Efficient testing of GUI applications by event sequence reduction
SCP 2021Jiwei YanHao ZhouXi Deng Ping Wang Rongjie Yan Jun Yan Jian Zhang
Investigating the Existence of Costas Latin Squares via Satisfiability Testing
SAT 2021Jiwei JinYiqi Lv Cunjing Ge Feifei Ma Jian Zhang
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions
IROS 2021Yuhang ChenChih-Hong ChengJun Yan Rongjie Yan
Stability evaluation for text localization systems via metamorphic testing
JSS 2021Rongjie YanSiqi WangYixuan YanHongyu GaoJun Yan
Testing Autonomous Systems with Believed Equivalence Refinement
AITest 2021Chih-Hong ChengRongjie Yan

2020

A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China
Appl. Soft Comput. 2020Yupeng ZhouMingjie FanFeifei MaXin XuMinghao Yin
Combinatorial Testing of Browsers’ Support for Multimedia
TR 2020Xi Deng Zhiqiang Zhang Rundong Li Jun Yan Jian Zhang
Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs
ICAPS 2020Rongjie YanYupeng ZhouAnyu CaiChangwen LiYige YanMinghao Yin
GTFuzz: Guard Token Directed Grey-Box Fuzzing
PRDC 2020Rundong LiHongLiang LiangLiming Liu Xutong Ma Rong Qu Jun Yan Jian Zhang
Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness
TR 2020Long ZhangZijie LiYang FengZhenyu ZhangWing Kwong ChanJian ZhangYuming Zhou