Testing Software and Systems

1. Front Matter

   Pages i-xiv

   PDF

2. Test and Artificial Intelligence

   1. Front Matter

      Pages 1-1

      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

      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

      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

      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

      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

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

• CEA List, Gif-sur-Yvette, France

  Christophe Gaston, Nikolai Kosmatov

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

  Pascale Le Gall

Policies and ethics