Testing Software and Systems

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

  • Franz Wotawa
  • Mihai Nica
  • Natalia Kushik
Conference proceedings ICTSS 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Testing Methodologies

    1. Front Matter
      Pages 1-1
    2. Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif
      Pages 18-35
    3. Alexandre Petrenko, Omer Nguena Timo, S. Ramesh
      Pages 36-51
    4. André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen
      Pages 52-69
    5. 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
    2. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
      Pages 89-105
    3. Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün
      Pages 106-122
  4. Practical Applications

    1. Front Matter
      Pages 153-153
    2. Eduard P. Enoiu, Daniel Sundmark, Adnan Čaušević, Robert Feldt, Paul Pettersson
      Pages 155-171
    3. Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
      Pages 172-190
    4. Christoph Sippl, Florian Bock, David Wittmann, Harald Altinger, Reinhard German
      Pages 191-206
  5. Short Contributions

    1. Front Matter
      Pages 207-207
    2. Hélène Collavizza, Claude Michel, Michel Rueher
      Pages 209-217
    3. 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. Ludwig Kampel, Dimitris E. Simos
      Pages 231-240
    5. Mireilla Martinez, Anna I. Esparcia, Urko Rueda, Tanja E. J. Vos, Carlos Ortega
      Pages 241-248
    6. Masaki Suzuki, Quentin Plessis, Takeshi Kitahara, Masato Tsuru
      Pages 249-255
  6. Back Matter
    Pages 257-257

About these proceedings


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.


embedded systems model-based testing simulation verification virtual validation adaptive systems automated testing combinatorial testing constraint systems distributed test architecture fault modeling model extraction programming languages quality assurance security testing self-organization software and application security software system models software testing test case generation

Editors and affiliations

  • Franz Wotawa
    • 1
  • Mihai Nica
    • 2
  • Natalia Kushik
    • 3
  1. 1.Technische Universität Graz GrazAustria
  2. 2.AVL LIST GmbH GrazAustria
  3. 3.Télécom SudParis Évry CedexFrance

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-47442-7
  • Online ISBN 978-3-319-47443-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment