Testing Software and Systems

31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

  • Christophe Gaston
  • Nikolai Kosmatov
  • Pascale Le Gall
Conference proceedings ICTSS 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Test and Artificial Intelligence

    1. Front Matter
      Pages 1-1
    2. Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth et al.
      Pages 3-21
    3. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
      Pages 22-40
    4. Josip Bozic, Franz Wotawa
      Pages 41-55
  3. Test Case Generation

    1. Front Matter
      Pages 65-65
    2. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei
      Pages 67-85
    3. Omer Nguena Timo, Dimitri Prestat, Antoine Rollet
      Pages 104-120
  4. Empirical Approaches

    1. Front Matter
      Pages 121-121
    2. Leon Sell, Michael Auer, Christoph Frädrich, Michael Gruber, Philemon Werli, Gordon Fraser
      Pages 123-139
    3. Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica
      Pages 140-156
  5. Testing and Verification Techniques

    1. Front Matter
      Pages 157-157
    2. Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska
      Pages 176-193
    3. Evgenii Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
      Pages 194-211
  6. Security and Performance Testing

    1. Front Matter
      Pages 213-213
    2. Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Omar Portillo-Dominguez
      Pages 215-233
    3. Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Omar Portillo-Dominguez
      Pages 234-241
    4. Georges Ouffoué, Fatiha Zaïdi, Ana R. Cavalli
      Pages 242-258
  7. Industrial Applications

    1. Front Matter
      Pages 259-259
    2. Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana R. Cavalli, Brecht Vermeulen, Matevz Vucnik
      Pages 270-278
    3. Bruno S. Aragão, Rossana M. C. Andrade, Ismayle S. Santos, Rute N. S. Castro, Valéria Lelli, Ticianne G. R. Darin
      Pages 279-295
  8. Back Matter
    Pages 297-297

About these proceedings


This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. The 14 regular papers and 3 short papers presented were carefully reviewed and selected from 30 submissions. This year also included an additional industrial paper. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures.


artificial intelligence computer architecture formal methods model checking model-based testing semantics software engineering software evaluation test generations verification

Editors and affiliations

  1. 1.CEA ListGif-sur-YvetteFrance
  2. 2.CEA ListGif-sur-YvetteFrance
  3. 3.CentraleSupélecGif-sur-YvetteFrance

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-31279-4
  • Online ISBN 978-3-030-31280-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site