| 2016 | Safety Assurance for Emergent Collaboration of Open Distributed Systems. | Sebastian Mller, Peter Liggesmeyer |
| 2016 | A Study of Failures in Community Clusters: The Case of Conte. | Subrata Mitra, Suhas Javagal, Amiya Kumar Maji, Todd Gamblin, Adam Moody, Stephen Lien Harrell, Saurabh Bagchi |
| 2016 | Peeking into the Past: Efficient Checkpoint-Assisted Time-Traveling Debugging. | Armando Miraglia, Dirk Vogt, Herbert Bos, Andy Tanenbaum, Cristiano Giuffrida |
| 2016 | Quantifying the Attack Detection Accuracy of Intrusion Detection Systems in Virtualized Environments. | Aleksandar Milenkoski, K. R. Jayaram, Nuno Antunes, Marco Vieira, Samuel Kounev |
| 2016 | WAP: A Novel Automatic Test Generation Technique Based on Moth Flame Optimization. | Aya S. Metwally, Eman Hosam, Marwa M. Hassan, Sarah M. Rashad |
| 2016 | Software Aging Detection Based on Differential Analysis: An Experimental Study. | Rivalino Matias, Guilherme Otavio de Sena, Artur Andrzejak, Kishor S. Trivedi |
| 2016 | Experience Report: Understanding Cross-Platform App Issues from User Reviews. | Yichuan Man, Cuiyun Gao, Michael R. Lyu, Jiuchun Jiang |
| 2016 | Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation. | Jierui Liu, Tianyong Wu, Jun Yan, Jian Zhang |
| 2016 | An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems. | Chung-Wei Lin, Shinichi Shiraishi, BaekGyu Kim |
| 2016 | A Framework to Support Generation and Maintenance of an Assurance Case. | Chung-Ling Lin, Wuwei Shen, Steven Drager |
| 2016 | Considering Testing-Coverage and Fault Removal Efficiency Subject to the Random Field Environments with Imperfect Debugging in Software Reliability Assessment. | Qiuying Li, Chengyong Mao |
| 2016 | Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel. | Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi |
| 2016 | Analysis on Causal-Effect Relationship in Effort Metrics Using Bayesian LiNGAM. | Masanari Kondo, Osamu Mizuno |
| 2016 | Static Spreadsheet Analysis. | Patrick W. Koch, Birgit Hofer, Franz Wotawa |
| 2016 | Antipattern-Based Problem Injection for Assessing Performance and Reliability Evaluation Techniques. | Philipp Keck, Andr van Hoorn, Dusan Okanovic, Teerat Pitakrat, Thomas F. Dllmann |
| 2016 | A Formal Model for Stateful and Variant-Rich Automotive Functions. | Michael Kmeyer, Peter Bazan, Markus Schurius, Rdiger Berndt, Reinhard German |
| 2016 | Experience Report: Detecting Poor-Responsive UI in Android Applications. | Yu Kang, Yangfan Zhou, Min Gao, Yixia Sun, Michael R. Lyu |
| 2016 | Switching to Git: The Good, the Bad, and the Ugly. | Sascha Just, Kim Herzig, Jacek Czerwonka, Brendan Murphy |
| 2016 | A Study of Redundant Metrics in Defect Prediction Datasets. | Jirayus Jiarpakdee, Chakkrit Tantithamthavorn, Akinori Ihara, Kenichi Matsumoto |
| 2016 | Programming the Network: Application Software Faults in Software-Defined Networks. | Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta |
| 2016 | Detecting, Exposing, and Classifying Sequential Consistency Violations. | Mohammad Majharul Islam, Abdullah Muzahid |
| 2016 | Case Study: Project Management Using Cross Project Software Reliability Growth Model Considering System Scale. | Kiyoshi Honda, Nobuhiro Nakamura, Hironori Washizaki, Yoshiaki Fukazawa |
| 2016 | Failure Models for Testing Continuous Controllers. | Dominik Holling, Alvin Stanescu, Kristian Beckers, Alexander Pretschner, Matthias Gemmar |
| 2016 | Experience Report: System Log Analysis for Anomaly Detection. | Shilin He, Jieming Zhu, Pinjia He, Michael R. Lyu |
| 2016 | A Model Based Systems Engineering Approach to Resiliency Analysis of a Cyberphysical System. | Myron Hecht |