| 2020 | Comprehensive Robustness Evaluation of File Systems with Model Checking. | Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo |
| 2020 | Research of Micro-expression Recognition Model based on Feature Unit. | Fei Yin, Jinyi Xu, Yixiang Chen |
| 2020 | Cross-Project Dynamic Defect Prediction Model for Crowdsourced test. | Yi Yao, Yuchan Liu, Song Huang, Hao Chen, Jialuo Liu, Fan Yang |
| 2020 | A Lightweight Fault Localization Approach based on XGBoost. | Bo Yang, Yuze He, Huai Liu, Yixin Chen, Zhi Jin |
| 2020 | API Parameter Recommendations Made Effective. | Wenhua Yang |
| 2020 | Which Metrics Should Researchers Use to Collect Repositories: An Empirical Study. | Kai Yamamoto, Masanari Kondo, Kinari Nishiura, Osamu Mizuno |
| 2020 | Dissecting Mobile Offerwall Advertisements: An Explorative Study. | Xu Xu, Yangyu Hu, Qian Guo, Ren He, Li Li, Guoai Xu, Zhihui Han, Haoyu Wang |
| 2020 | Blockchain-based Solutions for IoT: A Tertiary Study. | Qianwen Xu, Xiudi Chen, Shanshan Li, He Zhang, Muhammad Ali Babar, Nguyen Khoi Tran |
| 2020 | Graph-based Vulnerability Detection via Extracting Features from Sliced Code. | Peng Wu, Liangze Yin, Xiang Du, Liyuan Jia, Wei Dong |
| 2020 | High-Reliability Compilation Optimization Sequence Generation Framework Based ANN. | Jiang Wu, Jianjun Xu, Xiankai Meng, Zhuo Zhang, Nan Zhang, Haoyu Zhang |
| 2020 | Evaluating Interaction Content in Online Learning Using Deep Learning for Quality Classification. | Lei Wu, Di Wu |
| 2020 | Optimal maintenance policy considering innovation replacement. | Di Wu, Rui Peng, Shaomin Wu, Ye Ma, Yingchun Li |
| 2020 | A Threat Analysis Methodology for Security Requirements Elicitation in Machine Learning Based Systems. | Carl Wilhjelm, Awad A. Younis |
| 2020 | Interpretation Area-Guided Detection of Adversarial Samples. | Jiali Wei, Ming Fan, Xi Xu, Ang Jia, Zhou Xu, Lei Xue |
| 2020 | Test Data Augmentation for Image Recognition Software. | Pu Wang, Zhiyi Zhang, Yuqian Zhou, Zhiqiu Huang |
| 2020 | Construction of Knowledge Graph For Internal Control of Financial Enterprises. | Yingying Wang, Jun Zhao, Feng Li, Min Yu |
| 2020 | An Empirical Study of Flight Control System Model Checking Integrated with FMEA. | Xinyi Wang, Gaolei Yi, Yichen Wang |
| 2020 | Sustainable Food Supply Chain Management and Firm Performance: The Mediating Effect of Food Safety Level. | Jing Wang, Xiaoyue Yang, Chongchong Qu |
| 2020 | A log-based anomaly detection method with the NW ensemble rules. | Bingming Wang, Shi Ying, Guoli Cheng, Yiyao Li |
| 2020 | Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification. | Changjing Wang, Fan Xu, Haimei Luo, Qing Huang, Zhengkang Zuo |
| 2020 | The Optimal Inverter DC/AC Value Selection Method Based on Big Data Technology. | Ying Wang, Yu Wang, Yongling Tan, Zhuojun Zhong, Mingli Zhang, Yixuan Zhang |
| 2020 | HARRD: Real-time Software Rejuvenation Decision Based on Hierarchical Analysis under Weibull Distribution. | Sihang Wang, Jing Liu |
| 2020 | Formal Verification of CAN Bus in Cyber Physical System. | Rui Wang, Yong Guan, Xiaojuan Li, Rui Zhang |
| 2020 | Cascading Failure Path Prediction based on Association Rules in Cyber-Physical Active Distribution Networks. | Chong Wang, Yunwei Dong, Pengpeng Sun, Yin Lu |
| 2020 | A simple, lightweight framework for testing RESTful services with TTCN-3. | Theofanis Vassiliou-Gioles |