Testing Software and Systems

29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

  • Nina Yevtushenko
  • Ana Rosa Cavalli
  • Hüsnü Yenigün
Conference proceedings ICTSS 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Model Based Testing

    1. Front Matter
      Pages 1-1
    2. Tao Ma, Shaukat Ali, Tao Yue, Maged Elaasar
      Pages 3-20
    3. Ana Cavalcanti, Adenilso Simao
      Pages 21-37
    4. Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
      Pages 54-70
    5. Birgit Hofer, Iulia Nica, Franz Wotawa
      Pages 71-87
  3. Test Derivation Methods

    1. Front Matter
      Pages 89-89
    2. Petra van den Bos, Ramon Janssen, Joshua Moerman
      Pages 91-107
    3. Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
      Pages 108-125
    4. Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
      Pages 126-141
  4. Safety and Security Testing

    1. Front Matter
      Pages 143-143
    2. Wen-ling Huang, Jan Peleska
      Pages 145-161
    3. Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei et al.
      Pages 162-177
    4. Sébastien Salva, Loukmen Regainia
      Pages 178-194
  5. Test Selection and Quality Estimation

    1. Front Matter
      Pages 195-195
    2. Jorge López, Natalia Kushik, Djamal Zeghlache
      Pages 213-229
    3. Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik
      Pages 230-242
    4. Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya
      Pages 243-256
  6. Testing Timed and Distributed Systems

    1. Front Matter
      Pages 257-257
    2. Matthieu Renard, Antoine Rollet, Yliès Falcone
      Pages 259-275
    3. Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
      Pages 276-292
    4. Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick
      Pages 293-310
  7. Short Contributions

    1. Front Matter
      Pages 311-311
    2. Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa
      Pages 313-319
    3. Alexandre Petrenko, Adenilso Simao
      Pages 320-325
    4. Roland Groz, Adenilso Simao, Catherine Oriat
      Pages 326-332
  8. Back Matter
    Pages 341-341

About these proceedings


This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.

The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.


theorem proving and SAT solving fault models and test metrics testing with distributed and oarallel systems cloud computing real-time system specification protocol testing and verification formal specifications software system models software functional properties formal methods software performance software reliability software safety software verification formal languages and automata theory automata over infinite objects formal methods and theory of security

Editors and affiliations

  1. 1.Tomsk State UniversityTomskRussia
  2. 2.SAMOVAR, CNRS, Télécom SudParisParis-Saclay UniversityParisFrance
  3. 3.Sabanci UniversityIstanbulTurkey

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-67548-0
  • Online ISBN 978-3-319-67549-7
  • 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