| 2017 | Safety Verification of Modern Railway Signalling with the SafeCap Platform. | Paulius Stankaitis, Alexei Iliasov |
| 2017 | Adding Correctness Checking to Test Automation Platform. | Alberto Salmern, Leticia Lavado, Mara-del-Mar Gallardo, Pedro Merino Gmez |
| 2017 | A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain. | Goiuria Sagardui, Leire Etxeberria, Joseba Andoni Agirre, Aitor Arrieta, Carlos Fernando Nicols, Jose-Maria Martin |
| 2017 | SRC Ratio Method: Benchmarking Software Reliability. | Pete Rotella, Sunita Chulani |
| 2017 | First Insights into Testing Autonomous Robot in Virtual Worlds. | Clment Robert |
| 2017 | Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware. | Stefan Resch, Michael Paulitsch |
| 2017 | Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure. | Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Bei-Bei Yin |
| 2017 | Testing Proportional-Integral-Derivative (PID) Controller with Metamorphic Testing. | Kun Qiu, Zheng Zheng, Tsong Yueh Chen |
| 2017 | Models of Reliability of Fault-Tolerant Software Under Cyber-Attacks. | Peter T. Popov |
| 2017 | SIRIUS: Systematic Investigation for Reliability Improvement Upon Software. | Samjoon Park, Taehyoun Kim, Taeho Lee, Sungkyu Noh |
| 2017 | BRACE: Cloud-Based Software Reliability Assurance. | Kazuhira Okumoto, Abhaya Asthana, Rashid Mijumbi |
| 2017 | A Generalized Bivariate Modeling Framework of Fault Detection and Correction Processes. | Hiroyuki Okamura, Tadashi Dohi |
| 2017 | Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry. | Hiroyuki Nakagawa, Toshinobu Hasegawa, Shori Matsui, Tatsuhiro Tsuchiya |
| 2017 | WAP: Does Reviewer Age Affect Code Review Performance? | Yukasa Murakami, Masateru Tsunoda, Hidetake Uwano |
| 2017 | Experience Report: How to Design Web-Based Competitions for Legal Proceedings: Lessons from a Court Case. | Aad P. A. van Moorsel, Matthew Forshaw, Francisco Rocha |
| 2017 | Why Securing Your Code Architecture: Detection of Architectural Vulnerabilities in Industrial Products. | Isabelle Michard |
| 2017 | Rich Network Anomaly Detection Using Multivariate Data. | Veena B. Mendiratta, Marina Thottan |
| 2017 | Software Metrics as Indicators of Security Vulnerabilities. | Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira |
| 2017 | A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components. | Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico |
| 2017 | A Static Analyzer for Industrial Robotic Applications. | Avijit Mandal, Raoul Jetley, Meenakshi D'Souza, Sreeja Nair |
| 2017 | Experience Report: Testing Private Cloud Reliability Using a Public Cloud Validation SaaS. | Aniket Malatpure, Faraz Qadri, John Haskin |
| 2017 | Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones. | Amin Majd, Elena Troubitsyna |
| 2017 | WAP: SAT-Based Computation of Minimal Cut Sets. | Weilin Luo, Ou Wei |
| 2017 | Learning Feature Representations from Change Dependency Graphs for Defect Prediction. | Pablo Loyola, Yutaka Matsuo |
| 2017 | Reflection Analysis for Java: Uncovering More Reflective Targets Precisely. | Jie Liu, Yue Li, Tian Tan, Jingling Xue |