| 2020 | Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. | Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao, Wei Dong |
| 2020 | Towards a Model of Testers' Cognitive Processes: Software Testing as a Problem Solving Approach. | Eduard Enoiu, Gerald Tukseferi, Robert Feldt |
| 2020 | Vulnerability Analysis through Interface-based Checker Design. | Xiang Du, Liangze Yin, Peng Wu, Liyuan Jia, Wei Dong |
| 2020 | An MILP-NLP decomposition approach applied to a refinery scheduling problem. | Qianqian Duan |
| 2020 | Non-intrusive Virtual Machine Analysis and Reverse Debugging with SWAT. | Pavel Dovgalyuk, Ivan Vasiliev, Natalia Fursova, Denis Dmitriev, Mikhail Abakumov, Vladimir Makarov |
| 2020 | Parallel stratified random testing for concurrent programs. | Canh Minh Do, Kazuhiro Ogata |
| 2020 | On the Link Between Refactoring Activity and Class Cohesion Through the Prism of Two Cohesion-Based Metrics. | Steve Counsell, Giuseppe Destefanis, Steve Swift, Mahir Arzoky, Davide Taibi |
| 2020 | An Approach to Determine the Optimal k-Value of K-means Clustering in Adaptive Random Testing. | Jinfu Chen, Lingling Zhao, Minmin Zhou, Yisong Liu, Songling Qin |
| 2020 | Approaching Another Tourism Recommender. | Xianfeng Chen, Qing Liu, Xiangjie Qiao |
| 2020 | Reliability Evaluation for a Cloud Computer Network with Fog Computing. | Yi-Fan Chen, Ding-Hsiang Huang, Cheng-Fu Huang, Yi-Kuei Lin |
| 2020 | A Similarity Integration Method based Information Retrieval and Word Embedding in Bug Localization. | Shasha Cheng, Xuefeng Yan, Arif Ali Khan |
| 2020 | Data Evaluation and Enhancement for Quality Improvement of Machine Learning. | Haihua Chen, Jiangping Chen, Junhua Ding |
| 2020 | An improved mapping method for automated consistency check between software architecture and source code. | Fangwei Chen, Li Zhang, Xiaoli Lian |
| 2020 | Mining Power Misestimation in PoW Blockchain. | Sang-Yoon Chang |
| 2020 | Synthesized dataset for search-based test data generation methods focused on MC/DC criterion. | Jn Cegin, Karol Rstocn, Mria Bielikov |
| 2020 | Reliability Analysis of Phased-Mission K-out-of-n Systems with Cascading Effect. | Zhiqiang Cai, Mi Zhou, Shuai Zhang |
| 2020 | Intelligence and Emotion Application Framework in Interactive Art Design. | Yihang Bo, Zuqiang Yi, Xi Chen |
| 2020 | Quality-of-Experience driven configuration of WebRTC services through automated testing. | Antonia Bertolino, Antonello Calabr, Guglielmo De Angelis, Francisco Gortzar, Francesca Lonetti, Michel Maes-Bermejo, Guiomar Tun de Hita |
| 2020 | Revisiting the Impact of Concept Drift on Just-in-Time Quality Assurance. | Kwabena Ebo Bennin, Nauman Bin Ali, Jrgen Brstler, Xiao Yu |
| 2020 | TTCN-3 based NG112 Test System and Playground for Emergency Communication. | Ramon Barakat, Faruk Catal, Nikolay Tcholtchev, Yacine Rebahi |
| 2020 | Pull Request Prioritization Algorithm based on Acceptance and Response Probability. | Muhammad Ilyas Azeem, Qiang Peng, Qing Wang |
| 2020 | Towards Prioritizing Vulnerability Testing. | Halit Alptekin, Simge Demir, Sevval Simsek, Cemal Yilmaz |
| 2020 | Multi-objective Search for Model-based Testing. | Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz |
| 2020 | Decision Network: a New Network-Based Classifier. | Yong Yu, Ming Jing, Jie Li, Na Zhao, Jinzhuo Liu |
| 2020 | Security Controller Synthesis for ROS-based Robot. | Xudong Zhao, Shaoxian Shu, Yutian Lan, Haining Feng, Wei Dong |