Skip to main content
SpringerLink
Log in

Testing Software and Systems

28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Franz Wotawa

    1. Technische Universität Graz , Graz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mihai Nica

    1. AVL LIST GmbH , Graz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Natalia Kushik

    1. Télécom SudParis , Évry Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICTSS 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  2. Testing Methodologies

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Conformance Testing with Respect to Partial-Order Specifications

      • Gregor von Bochmann
      Pages 3-17

    3. Back-to-Back Testing of Self-organization Mechanisms

      • Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif
      Pages 18-35

    4. Test Generation by Constraint Solving and FSM Mutant Killing

      • Alexandre Petrenko, Omer Nguena Timo, S. Ramesh
      Pages 36-51

    5. Risk-Based Interoperability Testing Using Reinforcement Learning

      • André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen
      Pages 52-69

    6. A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing

      • Dimitris E. Simos, Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn, Yu Lei
      Pages 70-85

  3. Heuristics and Non-determinism in Testing

    1. Front Matter

      Pages 87-87
      Download chapter PDF

    2. Controllability Through Nondeterminism in Distributed Testing

      • Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
      Pages 89-105

    3. Parallelizing Heuristics for Generating Synchronizing Sequences

      • Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün
      Pages 106-122

    4. Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness

      • Krishna Patel, Robert M. Hierons
      Pages 123-138

    5. On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications

      • Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov
      Pages 139-152

  4. Practical Applications

    1. Front Matter

      Pages 153-153
      Download chapter PDF

    2. Mutation-Based Test Generation for PLC Embedded Software Using Model Checking

      • Eduard P. Enoiu, Daniel Sundmark, Adnan Čaušević, Robert Feldt, Paul Pettersson
      Pages 155-171

    3. STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice

      • Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
      Pages 172-190

    4. From Simulation Data to Test Cases for Fully Automated Driving and ADAS

      • Christoph Sippl, Florian Bock, David Wittmann, Harald Altinger, Reinhard German
      Pages 191-206

  5. Short Contributions

    1. Front Matter

      Pages 207-207
      Download chapter PDF

    2. Searching Critical Values for Floating-Point Programs

      • Hélène Collavizza, Claude Michel, Michel Rueher
      Pages 209-217

    3. UTTOS: A Tool for Testing UEFI Code in OS Environment

      • Eder C. M. Gomes, Paulo R. P. Amora, Elvis M. Teixeira, Antonio G. S. Lima, Felipe T. Brito, Juliano F. C. Ciocari et al.
      Pages 218-224

    4. Towards Model Construction Based on Test Cases and GUI Extraction

      • Antti Jääskeläinen
      Pages 225-230
Back to top

Other volumes

  1. Testing Software and Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016.

The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in testing, practical applications, and short contributions.

Editors and Affiliations

  • Technische Universität Graz , Graz, Austria

    Franz Wotawa

  • AVL LIST GmbH , Graz, Austria

    Mihai Nica

  • Télécom SudParis , Évry Cedex, France

    Natalia Kushik

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation