default search action
28th ISSRE 2017: Toulouse, France - Workshops
- 2017 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-2387-9
Industry Track
Best Paper Award Session
- Arnault Ioualalen, Matthieu Martel, Nicolas Normand:
An Overview of Numalis Software Suite for Reliable Numerical Computation. 1-4 - Florian Hauer, Alexander Pretschner, Maximilian Schmitt, Markus Groetsch:
Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems. 5-8 - Joachim Fröhlich, Christoph Stückjürgen:
Reliable Inspection of an Autonomous System At System Runtime with Built-in Data Probes. 9-11
Test and Verification
- Tianyao Li, Shigeru Tsubota, Koji Hirono:
Gherkin Syntax Extension for Parameterization of Network Switch Configurations in Test Specification. 12-14 - Anais Gantet:
CrashOS: Hypervisor Testing Tool. 15 - Goiuria Sagardui
, Leire Etxeberria, Joseba Andoni Agirre
A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain. 16-19
Profiling Industrial Code
- Steve Counsell, Tracy Hall
Assert Use and Defectiveness in Industrial Code. 20-23 - Avijit Mandal, Raoul Jetley, Meenakshi D'Souza, Sreeja Nair:
A Static Analyzer for Industrial Robotic Applications. 24-27 - Nico Beierle, Peter M. Kruse, Tanja E. J. Vos:
GUI-Profiling for Performance and Coverage Analysis. 28-31
Validation of Security & Safety
- Kazuki Kakimoto, Kensuke Sasaki, Hiroki Umeda, Yasushi Ueda:
IV&V Case: Empirical Study of Software Independent Verification and Validation Based on Safety Case. 32-35 - Sung-Hoon Lee
Appwrapping Providing Fine-Grained Security Policy Enforcement Per Method Unit in Android. 36-39 - Athanasios Stratis, Adnan Causevic:
A Practical Approach Towards Validating HIL Simulation of a Safety-Critical System. 40-43
Defect Prevention and Anomalies
- David Bowes
Getting Defect Prediction Into Industrial Practice: the ELFF Tool. 44-47 - Veena B. Mendiratta, Marina Thottan:
Rich Network Anomaly Detection Using Multivariate Data. 48-51 - Ram Chillarege:
Diagnosing Development Turbulence in Agile Processes. 52-55
Cloud & Telecom Reliability
- Aniket Malatpure, Faraz Qadri, John Haskin:
Experience Report: Testing Private Cloud Reliability Using a Public Cloud Validation SaaS. 56 - Kazuhira Okumoto, Abhaya Asthana, Rashid Mijumbi:
BRACE: Cloud-Based Software Reliability Assurance. 57-60 - Pete Rotella, Sunita Chulani:
SRC Ratio Method: Benchmarking Software Reliability. 61-64
Automotive & Transport
- Alfredo Imparato, Raffaele Rodolfo Maietta, Stefano Scala, Vladimiro Vacca:
A Comparative Study of Static Analysis Tools for AUTOSAR Automotive Software Components Development. 65-68 - Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim
Principles for Systematic Development of an Assurance Case Template from ISO 26262. 69-72 - Siyuan Dai, Joseph Hite, Takato Masuda, Yusuke Kashiba, Nikos Aréchiga, Shinichi Shiraishi, Scott Eisele, Jason Scott, Ted Bapty:
Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping. 73-76
Reliability Issues in Industry
- Hiroyuki Nakagawa
Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry. 77-80 - Taehyoun Kim, Samjoon Park, Taeho Lee:
Applying software reliability engineering process to software development in Korea defense industry. 81 - Clément Duffau, Bartosz Grabiec, Mireille Blay-Fornarino
Towards Embedded System Agile Development Challenging Verification, Validation and Accreditation: Application in a Healthcare Company. 82-85
Fast Abstracts
Session 1. Reliability, Testing and Debugging
- Samjoon Park, Taehyoun Kim, Taeho Lee, Sungkyu Noh:
SIRIUS: Systematic Investigation for Reliability Improvement Upon Software. 86-87 - Kun Qiu, Zheng Zheng, Tsong Yueh Chen
Testing Proportional-Integral-Derivative (PID) Controller with Metamorphic Testing. 88-89 - Zhanwei Hui, Song Huang, Tsong Yueh Chen
Identifying Failed Test Cases Through Metamorphic Testing. 90-91 - Franz Wotawa
The Future of Automated Debugging - Focus on the Niches First. 92-93
Session 2. Safety and Security
- Amin Majd, Elena Troubitsyna:
Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones. 94-95 - Fabrizio Biondi, François Déchelle, Axel Legay:
MASSE: Modular Automated Syntactic Signature Extraction. 96-97 - Isabelle Michard:
Why Securing Your Code Architecture: Detection of Architectural Vulnerabilities in Industrial Products. 98-99
Doctoral Symposium
- Charles F. Gonçalves
Benchmarking the Security of Virtualization Infrastructures: Motivation and Approach. 100-103 - Sebastian Dieter Krach:
Model-Based Architecture Robustness Analysis for Software-Intensive Autonomous Systems. 104-107 - Hoda Khalil:
Finite State Machine Testing Complete Round-Trip Versus Transition Trees: On the Road of Finding the Most Effective Criterion. 108-111 - Clément Robert:
First Insights into Testing Autonomous Robot in Virtual Worlds. 112-115 - Stanislav Chren
Towards Multi-layered Reliability Analysis in Smart Grids. 116-119 - Carmen Cârlan:
Living Safety Arguments for Open Systems. 120-123 - Raphaël Jakse:
Interactive Runtime Verification - A Ph.D to Improve Bug Detection and Understanding. 124-127 - Guillaume Averlant:
Multi-level Isolation for Android Applications. 128-131
Workshop on Practical Formal Verification for Software Dependability (AFFORD)
- Alberto Salmerón, Leticia Lavado, María-del-Mar Gallardo, Pedro Merino Gómez
Adding Correctness Checking to Test Automation Platform. 132-138 - Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta:
Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks. 139-145 - Stefan Resch, Michael Paulitsch:
Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware. 146-152 - Paulius Stankaitis, Alexei Iliasov:
Safety Verification of Modern Railway Signalling with the SafeCap Platform. 153-156 - Rémi Garcia
An IDE for the Design, Verification and Implementation of Security Protocols. 157-163
Fostering Industry-Academic Software Reliability Studies (FIARS)
- Elaine J. Weyuker, Thomas J. Ostrand:
Experiences with Academic-Industrial Collaboration on Empirical Studies of Software Systems. 164-168 - Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa, Masahiro Taga, Akira Matsuzaki, Takayoshi Suzuki:
Empirical Study on Recognition of Project Situations by Monitoring Application Results of Software Reliability Growth Model. 169-174
Eighth IEEE International Workshop on Program Debugging (IWPD)
- Aaron Ang, Alexandre Perez
Revisiting the Practical Use of Automated Software Fault Localization Techniques. 175-182 - Arian Treffer, Matthias Uflacker:
Back-in-Time Debugging in Heterogeneous Software Stacks. 183-190 - Birgit Hofer
Qualitative Deviation Models for Spreadsheet Debugging. 191-198 - Birgit Hofer
Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging. 199-206 - Yuki Ueda, Akinori Ihara, Toshiki Hirao, Takashi Ishio
How is IF Statement Fixed Through Code Review? A Case Study of Qt Project. 207-213 - Hirohisa Aman
Empirical Study of Abnormalities in Local Variables of Change-Prone Java Methods. 214-221
Second International Workshop on Software Faults (IWSF)
- Mehul Nalin Vora
Workload Dependent Fault Analysis. 222-227 - Emilia Cioroaica, Jasmin Jahic, Thomas Kuhn, Christian Peper, Denis Uecker
Accelerated Simulated Fault Injection Testing. 228-233 - Harald A. Stieber, Linghuan Hu, W. Eric Wong:
Estimation of the Total Number of Software Failures from Test Data and Code Coverage: A Bayesian Approach. 234-238 - Camille Barnier, Oum-El-Kheir Aktouf, Annabelle Mercier, Jean-Paul Jamont:
Toward an Embedded Multi-agent System Methodology and Positioning on Testing. 239-244
Ninth International Workshop on Software Aging and Rejuvenation (WoSAR)
- Ram Chillarege:
Trigger and Impact Profiles Enable Outcome Focused Defect Discovery to Manage Software Quality. 245-251 - Artur Andrzejak, Felix Eichler, Mohammad Ghanavati:
Detection of Memory Leaks in C/C++ Code via Machine Learning. 252-258 - Xiaoting Du, Zheng Zheng, Guanping Xiao
The Automatic Classification of Fault Trigger Based Bug Report. 259-265 - Harish Sukhwani, Rivalino Matias, Kishor S. Trivedi, Andy J. Rindos:
Monitoring and Mitigating Software Aging on IBM Cloud Controller System. 266-272 - Caisheng Weng, Dongdong Zhao, Liping Lu, Jianwen Xiang, Chunhui Yang, Dong Li:
A Rejuvenation Strategy in Android. 273-279 - Yuto Jumonji, Hiroshi Yamada:
Efficient Software Rejuvenation of In-memory Key-Value Storages. 280-285
Seventh IEEE International Workshop on Software Certification (WoSoCer)
- Fabio Falcini, Giuseppe Lami
Challenges in Certification of Autonomous Driving Systems. 286-293 - Christian Wolschke, Thomas Kuhn, H. Dieter Rombach, Peter Liggesmeyer:
Observation Based Creation of Minimal Test Suites for Autonomous Vehicles. 294-301 - Mark Douthwaite, Tim Kelly:
Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks. 302-309 - Jose M. Faria:
Non-determinism and Failure Modes in Machine Learning. 310-316 - Julieth Patricia Castellanos Ardila, Barbara Gallina:
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards. 317-324 - Barbara Gallina, Mattias Nyberg:
Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases. 325-330 - Biao Xu, Minyan Lu, Dajian Zhang:
A Layered Argument Strategy for Software Security Case Development. 331-338
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: