| 2018 | MuNN: Mutation Analysis of Neural Networks. | Weijun Shen, Jun Wan, Zhenyu Chen |
| 2018 | Information System Reliability Quantitative Assessment Method and Engineering Application. | Jingwei Shang, Ping Chen, Qiang Wang, Liewen Lu |
| 2018 | Using Crash Frequency Analysis to Identify Error-Prone Software Technologies in Multi-System Monitoring. | Andreas Schrgenhumer, Mario Kahlhofer, Hanspeter Mssenbck, Paul Grnbacher |
| 2018 | Equivalence Checking for Hybrid Control Systems Modelled in Simulink. | Sebastian Schlesinger, Paula Herber, Thomas Gthel, Sabine Glesner |
| 2018 | On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets. | Sohon Roy, Arie van Deursen, Felienne Hermans |
| 2018 | Optimum Post-Disruption Restoration Plan of Interdependent Critical Infrastructures. | Lili Rong, Kesheng Yan, Jingwen Zhang |
| 2018 | Research on Cross-Layer Optimization of Smart Grid Demand Side Based on WSNs. | Yuan Ren, Shuyu He, Pengyu Hu, Jianguo Sun |
| 2018 | A Study of the Extraction of Bug Judgment and Correction Times from Open Source Software Bug Logs. | Seher Razzaq, Yan-Fu Li, Chu-Ti Lin, Min Xie |
| 2018 | Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis. | Chang Rao, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li |
| 2018 | Information Security Considerations for Wireless Infusion Pumps. | Pooja Rajendraprasad, Sergey Butakov, Fehmi Jaafar |
| 2018 | SynEva: Evaluating ML Programs by Mirror Program Synthesis. | Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2018 | Research on Judicial Data Standard. | Zemin Qin, Tieke He, Hao Lian, Yuanhan Tian, Jia Liu |
| 2018 | Hardening Application Security Using Intel SGX. | Max Plauth, Fredrik Teschke, Daniel Richter, Andreas Polze |
| 2018 | Probabilistic Sampling-Based Testing for Accelerated Reliability Assessment. | Roberto Pietrantuono, Stefano Russo |
| 2018 | A Method of Quality Improvement Based on Big Quality Warranty Data Analysis. | Xing Pan, Manli Zhang, Xi Chen |
| 2018 | Qualitative Software Reliability Requirements: Concept, Classification and Practical Elicitation Methods. | Cong Pan, Minyan Lu, Hong Zhang, Biao Xu |
| 2018 | Spiral^SRA: A Threat-Specific Security Risk Assessment Framework for the Cloud. | Armstrong Nhlabatsi, Jin B. Hong, Dong Seong Kim, Rachael Fernandez, Noora Fetais, Khaled M. Khan |
| 2018 | An Analysis of the Inclusion of Environmental Cost Factors in Software Cost Estimation Datasets. | Emtinan Mustafa, Rasha Osman |
| 2018 | Towards a Coherent Terminology and Taxonomy for Evaluating Safety via Testing. | Nils Mllner, Wasif Afzal |
| 2018 | An Approach for Detecting Critical Adaptations in Automated Adaptive Software Systems. | Shuji Morisaki, Norimitsu Kasai |
| 2018 | A Security Model for Access Control in Graph-Oriented Databases. | Claudia Morgado, Gisele Busichia Baioco, Tnia Basso, Regina Moraes |
| 2018 | How Usable Are Rust Cryptography APIs? | Kai Mindermann, Philipp Keck, Stefan Wagner |
| 2018 | Lightweight Key Agreement for Wireless Sensor Networks. | Jaruwan Mesit, Matthias R. Brust, Pascal Bouvry |
| 2018 | Performance Analysis Using Automatic Grouping. | Isnaldo Francisco De Melo Jr., Abderrahmane Benbachir, Michel R. Dagenais |
| 2018 | Simulation Testing of Fault-Tolerant CPS Based on Hierarchical Adaptive Policies. | Siyou Ma, Yunqiang Yan |