Testing Software and Systems

30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

  • Inmaculada Medina-Bulo
  • Mercedes G. Merayo
  • Robert Hierons
Conference proceedings ICTSS 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
    Pages 1-16
  3. Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
    Pages 17-32
  4. Josip Bozic, Franz Wotawa
    Pages 33-38
  5. Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim
    Pages 39-55
  6. Marlon Cárdenas, Jorge Gómez Sanz, Juan Pavón
    Pages 56-61
  7. Jorge López, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache
    Pages 69-84
  8. Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino
    Pages 85-101
  9. Ali Parsai, Serge Demeyer, Seph De Busser
    Pages 102-118
  10. Alexandre Petrenko, Florent Avellaneda
    Pages 119-134
  11. I. S. Wishnu B. Prasetya, Minh An Tran
    Pages 135-141
  12. Sébastien Salva, Elliott Blot, Patrice Laurencot
    Pages 142-148
  13. Aleksandr Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
    Pages 149-154
  14. Franz Wotawa, Yihao Li
    Pages 155-170
  15. Back Matter
    Pages 171-171

About these proceedings


This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. 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 automata theory finite automata hardware intelligent buildings software engineering specifications ubiquitous computing user interfaces formal methods software system models

Editors and affiliations

  • Inmaculada Medina-Bulo
    • 1
  • Mercedes G. Merayo
    • 2
  • Robert Hierons
    • 3
  1. 1.University of CádizCadizSpain
  2. 2.Complutense University of MadridMadridSpain
  3. 3.Brunel University LondonUxbridgeUK

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-99926-5
  • Online ISBN 978-3-319-99927-2
  • 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