Risk Assessment and Risk-Driven Quality Assurance

4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers

  • Jürgen Großmann
  • Michael Felderer
  • Fredrik Seehusen
Conference proceedings RISK 2016

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10224)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10224)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Security Risk Management

    1. Front Matter
      Pages 1-1
    2. Gencer Erdogan, Aida Omerovic, Marit K. Natvig, Isabelle C. R. Tardy
      Pages 11-18
  3. Security Risk Analysis

    1. Front Matter
      Pages 35-35
    2. Pontus Johnson, Alexandre Vernotte, Dan Gorton, Mathias Ekstedt, Robert Lagerström
      Pages 37-52
    3. Steve Muller, Carlo Harpes, Cédric Muller
      Pages 53-65
    4. Laurens Lemaire, Jan Vossaert, Bart De Decker, Vincent Naessens
      Pages 66-81
  4. Risk-Based Testing

    1. Front Matter
      Pages 97-97
    2. Rudolf Ramler, Michael Felderer, Matthias Leitner
      Pages 115-128
    3. Martin A. Schneider, Marc-Florian Wendland, Leon Bornemann
      Pages 129-142
  5. Back Matter
    Pages 157-157

About these proceedings

Introduction

This book constitutes the thoroughly refereed conference proceedings of the Fourth International Workshop on Risk Assessment and Risk-Driven Quality Assurance, RISK 2016, held in conjunction with ICTSS 2016, in Graz, Austria, in October 2016.

The revised 9 full papers were carefully reviewed and selected from 11 submissions. They focus on research studying, developing and evaluating innovative techniques, tools, languages and methods risk assessment and risk-driven quality engineering. The papers are organized topical sections:  security risk management; security risk analysis; risk-based testing.

Keywords

cyber-physical systems network security risk management security and privacy software testing and debugging business process simulation certification and licensing domain-specific modeling language information security model-based testing quality assurance reliability safety critical systems search-based testing security security engineering software reliability software safety testing UML state machines

Editors and affiliations

  • Jürgen Großmann
    • 1
  • Michael Felderer
    • 2
  • Fredrik Seehusen
    • 3
  1. 1.Fraunhofer FOKUS CC SQCBerlinGermany
  2. 2.Department of Computer ScienceUniversität InnsbruckInnsbruckAustria
  3. 3.SINTEF ICTOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-57858-3
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-57857-6
  • Online ISBN 978-3-319-57858-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book