| 2021 | Sound Predictive Atomicity Violation Detection§. | Xiaoxue Ma, Imran Ashraf, W. K. Chan |
| 2021 | Modeling and Simulation of Social E-commerce User Behavior based on Social E-commerce Simulator. | Junjie Lv, Linyu Li, Qiuchen Wu, Chuan Zhao |
| 2021 | A Testing Method for Object-oriented Program based on Adaptive Random Testing with Variable Probability. | Tianxiang Lv, Qihao Bao, Haibo Chen, Chi Zhang |
| 2021 | An Emotion-Oriented System for Creativity Stimulation. | Zhongxi Lu, Hongji Yang |
| 2021 | Improving Quality of Counterexamples in Model Checking via Automated Planning. | Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan |
| 2021 | Platform Software Reliability for Cloud Service Continuity - Challenges and Opportunities. | Ning Luo, Yue Xiong |
| 2021 | MDD4CER: Efficient Complex Event Recognition with Multiple-value Decision Diagram. | Ruiqi Luo, Bangchao Wang, Xian Zhong |
| 2021 | Unit Crowdsourcing Software Testing of Go Program. | Run Luo, Song Huang, Meijuan Wang, Jinchang Hu, Jinhu Du |
| 2021 | A code clone detection algorithm based on graph convolution network with AST tree edge. | Zhicheng Lu, Ruochen Li, Huamiao Hu, Wen'an Zhou |
| 2021 | A Framework for Progressive Regression Testing PLC Programs. | Zeyu Lu, Zhanquan Guo |
| 2021 | Attack-based Automation of Security Testing for IoT Applications with Genetic Algorithms and Fuzzing. | Steffen Ldtke, Roman Kraus, Ramon Barakat, Martin A. Schneider |
| 2021 | Modeling and Verification of CKB Consensus Protocol in Coq. | Xiaokun Luan, Meng Sun |
| 2021 | Multi-Satellite Mission Planning based on Multi-population Cooperative Parallel Evolutionary Algorithm. | Hui Li, Man Zhao, Chenglu Zhang, Dengfeng Mo |
| 2021 | Research on fault diagnosis in early stage of software development based on Object-oriented Bayesian Networks. | Hongman Li, Peng Xu, Qilin Zhao, Yihong Liu |
| 2021 | Subgraph reliability of the cactus-based networks. | Xiaoqing Liu, Shuming Zhou, Jiafei Liu, Zhengqin Yu |
| 2021 | Selective Symbolization Based Efficient Symbolic Execution. | Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai |
| 2021 | Multi-Radar Cooperative Task Planning using NSGA-II Algorithm. | Xiang Liu, Chao Zhang, Yanjun Cao, Li Han, Zhiming Wu |
| 2021 | Hue-Saturation-Value (HSV) Colour Model Prediction and Incentive Mechanism Based on Okun's Law and Big Data Tracing. | Yinwei Liu, Lin Zou |
| 2021 | SRTEF: Automatic Test Function Recommendation with Scenarios for Implementing Stepwise Test Case. | Kaiqi Liu, Ji Wu, Haiyan Yang, Qing Sun, Ruiyuan Wan |
| 2021 | Dynamic Detection of AsyncTask Related Defects. | Qing Liu, Linjie Pan, Baoquan Cui, Jun Yan, Jian Zhang |
| 2021 | An Economic Evaluation Model of Predictive Maintenance Technology for Lithium-Ion Batteries. | Xuan Liu, Huixing Meng |
| 2021 | Application Research of Formal Verification in Aerospace FPGA. | Shiyu Liu, Dongfang Li, Wei Shen, Zhihao Wang, Guang Yang, Xiaojing Song |
| 2021 | (Semi) automatic Assertion Generation from Controlled Chinese Natural Language: A Practice in Aerospace Industry. | Shiyu Liu, Dongfang Li, Yasha Chen, Guang Yang |
| 2021 | Multiple Error Types Software Belief Reliability Growth Model Based on Uncertain Differential Equation. | Zhe Liu, Rui Kang |
| 2021 | A Robustness-Oriented Data Augmentation Method for DNN. | Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng |