| 2018 | Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods. | Atif Mashkoor, Alexander Egyed |
| 2018 | Dynamic Importance Measure for K-out-of-n System in Presence of Dependent Failure. | Dong Lyu, Shubin Si |
| 2018 | A Multiple Blockchains Architecture on Inter-Blockchain Communication. | Kan Luo, Wei Yu, Muhammad Amjad Hafiz, Siyuan Wang, Linchao Gao, Kai Hu |
| 2018 | A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models. | Yin Lu, Yunwei Dong, Xiaomin Wei, Mingrui Xiao |
| 2018 | MURE: Making Use of MUtations to REfine Spectrum-Based Fault Localization. | Zijie Li, Lanfei Yan, Yuzhen Liu, Zhenyu Zhang, Bo Jiang |
| 2018 | Improved Heatmap Visualization of Pareto-Optimal Set in Multi-Objective Optimization of Defensive Strategy. | Erqing Li, Chuangming Xia, Dongdong Zhao, Liping Lu, Jianwen Xiang, Yueying He, Jin Wang, Jiangning Wu |
| 2018 | An Approach to Automatic Test Case Generation for Unit Testing. | Pan Liu, Zhenning Jimmy Xu, Jun Ai |
| 2018 | Research on Abnormal Behavior Detection Technology of Launch Vehicle Controlled Network. | Yang Liu, Qingping Shi, Xiaotao Yan, Heng Zhang, Hang Yi, Weiqiang Xia, Hongwei Ma, Jian Kang |
| 2018 | Energy Optimization and Fault Tolerance to Embedded System Based on Adaptive Heterogeneous Multi-Core Hardware Architecture. | Xing Liu, Panwen Liu, Xin Yan, Chengming Zou, Ruoshi Xia, Haiying Zhou, Kun Mean Hou, Christophe de Vaulx |
| 2018 | Service Oriented Resilience Strategy for Cloud Data Center. | Yue Liu, Xiaoyang Li, Lianghua Xiao |
| 2018 | Research on Network Malicious Code Detection and Provenance Tracking in Future Network. | Lan Liu, Jun Lin, Qiang Wang, Xiaoping Xu |
| 2018 | An Automatic Parameterized Verification of FLASH Cache Coherence Protocol. | Yongjian Li, Jialun Cao, Kaiqiang Duan |
| 2018 | Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach. | Nianyu Li, Di Bai, Yiming Peng, Zhuoqun Yang, Wenpin Jiao |
| 2018 | Research on the Information Quality Measurement of Judicial Documents. | Hao Lian, Tieke He, Zemin Qin, Haoyu Li, Jia Liu |
| 2018 | Fault Localization: Analyzing Covering Arrays Given Prior Information. | Ryan Lekivetz, Joseph Morgan |
| 2018 | Tag Recommendation for Cultural Resources. | Zhiwen Lei, Yi Yang, Weixing Huang, Jian Wang |
| 2018 | A Test Path Generation Method Based on SSM Models. | Hao Lan, Yin Tong, Jin Guo, Yadong Zhang, Yao Li, Chang Rao |
| 2018 | Tracing Error Propagation in C/C++ Applications. | Shiyi Kong, Minyan Lu, Luyi Li |
| 2018 | Towards a Bayesian Network Model for Predicting Flaky Automated Tests. | Tariq M. King, Dionny Santiago, Justin Phillips, Peter J. Clarke |
| 2018 | Regular Expression Based Test Sequence Generation for HDL Program Validation. | Onur Kilineker, Ercument Turk, Moharram Challenger, Fevzi Belli |
| 2018 | Model-Based Testing of Obligatory ABAC Systems. | Samer Khamaiseh, Patrick Chapman, Dianxiang Xu |
| 2018 | Smart Contracts for a Mobility-as-a-Service Ecosystem. | Anni Karinsalo, Kimmo Halunen |
| 2018 | Metamorphic Testing of Image Region Growth Programs in Image Processing Applications. | Chao Jiang, Song Huang, Zhanwei Hui |
| 2018 | An Analysis of Android Malware Behavior. | Fehmi Jaafar, Gagandeep Singh, Pavol Zavarsky |
| 2018 | MASKED: A MapReduce Solution for the Kappa-Pruned Ensemble-Based Anomaly Detection System. | Md. Shariful Islam, Korosh Koochekian Sabor, Abdelaziz Trabelsi, Wahab Hamou-Lhadj, Luay Alawneh |