| 2017 | Gherkin Syntax Extension for Parameterization of Network Switch Configurations in Test Specification. | Tianyao Li, Shigeru Tsubota, Koji Hirono |
| 2017 | Appwrapping Providing Fine-Grained Security Policy Enforcement Per Method Unit in Android. | Sung-Hoon Lee, Seung-Hyun Kim, Soo-Hyung Kim, Seung-Hun Jin |
| 2017 | Simultaneous Fault Models for the Generation of Efficient Error Detection Mechanisms. | Matthew Leeke |
| 2017 | Model-Based Architecture Robustness Analysis for Software-Intensive Autonomous Systems. | Sebastian Dieter Krach |
| 2017 | Applying software reliability engineering process to software development in Korea defense industry. | Taehyoun Kim, Samjoon Park, Taeho Lee |
| 2017 | On FSM-Based Testing: An Empirical Study: Complete Round-Trip Versus Transition Trees. | Hoda Khalil, Yvan Labiche |
| 2017 | Finite State Machine Testing Complete Round-Trip Versus Transition Trees: On the Road of Finding the Most Effective Criterion. | Hoda Khalil |
| 2017 | IV&V Case: Empirical Study of Software Independent Verification and Validation Based on Safety Case. | Kazuki Kakimoto, Kensuke Sasaki, Hiroki Umeda, Yasushi Ueda |
| 2017 | Efficient Software Rejuvenation of In-memory Key-Value Storages. | Yuto Jumonji, Hiroshi Yamada |
| 2017 | Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool. | Andreas Johnsen, Kristina Lundqvist, Kaj Hnninen, Paul Pettersson, Martin Torelm |
| 2017 | AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. | Andreas Johnsen, Kristina Lundqvist, Kaj Hnninen, Paul Pettersson |
| 2017 | Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification. | Raphal Jakse, Ylis Falcone, Jean-Franois Mhaut, Kevin Pouget |
| 2017 | Interactive Runtime Verification - A Ph.D to Improve Bug Detection and Understanding. | Raphal Jakse |
| 2017 | Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks. | Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta |
| 2017 | An Overview of Numalis Software Suite for Reliable Numerical Computation. | Arnault Ioualalen, Matthieu Martel, Nicolas Normand |
| 2017 | A Comparative Study of Static Analysis Tools for AUTOSAR Automotive Software Components Development. | Alfredo Imparato, Raffaele Rodolfo Maietta, Stefano Scala, Vladimiro Vacca |
| 2017 | Chizpurfle: A Gray-Box Android Fuzzer for Vendor Service Customizations. | Antonio Ken Iannillo, Roberto Natella, Domenico Cotroneo, Cristina Nita-Rotaru |
| 2017 | Identifying Failed Test Cases Through Metamorphic Testing. | Zhanwei Hui, Song Huang, Tsong Yueh Chen, Man Fai Lau, Sebastian Ng |
| 2017 | Which Packages Would be Affected by This Bug Report? | Qiao Huang, David Lo, Xin Xia, Qingye Wang, Shanping Li |
| 2017 | Empirical Study on Recognition of Project Situations by Monitoring Application Results of Software Reliability Growth Model. | Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa, Masahiro Taga, Akira Matsuzaki, Takayoshi Suzuki |
| 2017 | Qualitative Deviation Models for Spreadsheet Debugging. | Birgit Hofer, Iulia Nica, Franz Wotawa |
| 2017 | Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging. | Birgit Hofer |
| 2017 | Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems. | Florian Hauer, Alexander Pretschner, Maximilian Schmitt, Markus Groetsch |
| 2017 | Experience Report: Security Vulnerability Profiles of Mission Critical Software: Empirical Analysis of Security Related Bug Reports. | Katerina Goseva-Popstojanova, Jacob Tyo |
| 2017 | Experience Report: Study of Vulnerabilities of Enterprise Operating Systems. | Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk, Oleksandr Biloborodov |