Skip to main content
SpringerLink
Log in

Testing Software and Systems

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

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Christophe Gaston

    1. CEA List, Gif-sur-Yvette, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nikolai Kosmatov

    1. CEA List, Gif-sur-Yvette, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Pascale Le Gall

    1. CentraleSupélec, Gif-sur-Yvette, 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 11812)

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

Included in the following conference series:

Conference proceedings info: ICTSS 2019.

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-xiv
    Download chapter PDF

  2. Test and Artificial Intelligence

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning

      • Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth et al.
      Pages 3-21

    3. Regular Expression Learning with Evolutionary Testing and Repair

      • Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
      Pages 22-40

    4. Testing Chatbots Using Metamorphic Relations

      • Josip Bozic, Franz Wotawa
      Pages 41-55

    5. Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs

      • Shin Nakajima, Tsong Yueh Chen
      Pages 56-64

  3. Test Case Generation

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines

      • Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei
      Pages 67-85

    3. Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs

      • Nina Yevtushenko, Victor Kuliamin, Natalia Kushik
      Pages 86-103

    4. Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts

      • Omer Nguena Timo, Dimitri Prestat, Antoine Rollet
      Pages 104-120

  4. Empirical Approaches

    1. Front Matter

      Pages 121-121
      Download chapter PDF

    2. An Empirical Evaluation of Search Algorithms for App Testing

      • Leon Sell, Michael Auer, Christoph Frädrich, Michael Gruber, Philemon Werli, Gordon Fraser
      Pages 123-139

    3. Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation

      • Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica
      Pages 140-156

  5. Testing and Verification Techniques

    1. Front Matter

      Pages 157-157
      Download chapter PDF

    2. Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs

      • Clotilde Erard, Alain Giorgetti
      Pages 159-175

    3. A Mechanised Proof of an Adaptive State Counting Algorithm

      • Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska
      Pages 176-193

    4. A Model Checking Based Approach for Detecting SDN Races

      • 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
      Download chapter PDF

    2. Towards an Efficient Performance Testing Through Dynamic Workload Adaptation

      • Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Omar Portillo-Dominguez
      Pages 215-233

    3. DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation

      • Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Omar Portillo-Dominguez
      Pages 234-241
Back to top

Other volumes

  1. Testing Software and Systems

Keywords

About this book

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.

Editors and Affiliations

  • CEA List, Gif-sur-Yvette, France

    Christophe Gaston, Nikolai Kosmatov

  • CentraleSupélec, Gif-sur-Yvette, France

    Pascale Le Gall

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation