| 2017 | Benchmarking the Security of Virtualization Infrastructures: Motivation and Approach. | Charles F. Gonalves |
| 2017 | Experience Report: Log-Based Behavioral Differencing. | Maayan Goldstein, Danny Raz, Itai Segall |
| 2017 | An Exploratory Study of Field Failures. | Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezz |
| 2017 | An IDE for the Design, Verification and Implementation of Security Protocols. | Rmi Garcia, Paolo Modesti |
| 2017 | CrashOS: Hypervisor Testing Tool. | Anais Gantet |
| 2017 | Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases. | Barbara Gallina, Mattias Nyberg |
| 2017 | Perman: Fine-Grained Permission Management for Android Applications. | Jiaojiao Fu, Yangfan Zhou, Huan Liu, Yu Kang, Xin Wang |
| 2017 | Reliable Inspection of an Autonomous System At System Runtime with Built-in Data Probes. | Joachim Frhlich, Christoph Stckjrgen |
| 2017 | Non-determinism and Failure Modes in Machine Learning. | Jose M. Faria |
| 2017 | Challenges in Certification of Autonomous Driving Systems. | Fabio Falcini, Giuseppe Lami |
| 2017 | The Automatic Classification of Fault Trigger Based Bug Report. | Xiaoting Du, Zheng Zheng, Guanping Xiao, Beibei Yin |
| 2017 | Towards Embedded System Agile Development Challenging Verification, Validation and Accreditation: Application in a Healthcare Company. | Clment Duffau, Bartosz Grabiec, Mireille Blay-Fornarino |
| 2017 | Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks. | Mark Douthwaite, Tim Kelly |
| 2017 | Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping. | Siyuan Dai, Joseph Hite, Takato Masuda, Yusuke Kashiba, Nikos Archiga, Shinichi Shiraishi, Scott Eisele, Jason Scott, Ted Bapty |
| 2017 | Assert Use and Defectiveness in Industrial Code. | Steve Counsell, Tracy Hall, Thomas Shippey, David Bowes, Amjed Tahir, Stephen G. MacDonell |
| 2017 | A Fault Correlation Approach to Detect Performance Anomalies in Virtual Network Function Chains. | Domenico Cotroneo, Roberto Natella, Stefano Rosiello |
| 2017 | Accelerated Simulated Fault Injection Testing. | Emilia Cioroaica, Jasmin Jahic, Thomas Kuhn, Christian Peper, Denis Uecker, Christoph Dropmann, Peter Munk, Rakshith Amarnath, Eike Thaden |
| 2017 | Towards Multi-layered Reliability Analysis in Smart Grids. | Stanislav Chren |
| 2017 | Principles for Systematic Development of an Assurance Case Template from ISO 26262. | Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim, Mark Lawford, Shinichi Shiraishi, Alan Wassyng |
| 2017 | Trigger and Impact Profiles Enable Outcome Focused Defect Discovery to Manage Software Quality. | Ram Chillarege |
| 2017 | Diagnosing Development Turbulence in Agile Processes. | Ram Chillarege |
| 2017 | Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine. | Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2017 | Living Safety Arguments for Open Systems. | Carmen Crlan |
| 2017 | Toward Rigorous Object-Code Coverage Criteria. | Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl |
| 2017 | Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study. | Alexandre Melo Braga, Ricardo Dahab, Nuno Antunes, Nuno Laranjeiro, Marco Vieira |