Coming soon …


Arnaud Gotlieb, Simula Research Laboratory, Norway

Mauro Pezzé, USI Università della Svizzera italiana, Switzerland

Accepted full papers

  • Bernhard K. Aicherning, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler and Markus Tranninger. Learning a Behavior Model of Hybrid Systems through Combining Model-Based Testing and Machine Learning
  • Clotilde Erard and Alain Giorgetti. Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs
  • Silvia Bonfanti, Andrea Bombarda, Angelo Gargantini, Marco Radavelli, Feng Duan and Yu Lei. Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol using Abstract State Machines
  • Nina Yevtushenko, Victor Kuliamin and Natalia Kushik. Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs
  • Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene. Regular expression learning with evolutionary testing and repair
  • Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, A. Omar Portillo-Dominguez and Liam Murphy. Towards an Efficient Performance Testing through Dynamic Workload Adaptation
  • Josip Bozic and Franz Wotawa. Testing Chatbots using Metamorphic Relations
  • Leon Sell, Michael Auer, Christoph Frädrich, Michael Gruber, Phil Werli and Gordon Fraser. An Empirical Evaluation of Search Algorithms for App Testing
  • Florian Klück, Franz Wotawa, Martin Zimmermann and Mihai Nica. Performance comparison of two search-based testing strategies for ADAS System Validation
  • Robert Sachtleben, Jan Peleska, Rob Hierons and Wen-Ling Huang. A Mechanised Proof of an Adaptive State Counting Algorithm
  • Bruno Sabóia Aragão, Rossana Maria de Castro Andrade, Ismayle de Sousa Santos, Rute Nogueira Silveira de Castro, Valéria Lelli and Ticianne Darin. TestDCat: Catalog of Test Debt Subtypes and Management Activities
  • Georges Ouffoué, Fatiha Zaïdi and Ana R. Cavalli. Attack tolerance for service-based applications in the Cloud.
  • Evgenii Vinarskii, Jorge Lopez, Natalia Kushik, Nina Yevtushenko and Djamal Zeghlache. A Model Checking based Approach for Detecting SDN Races
  • Omer Nguena Timo, Dimitri Prestat and Antoine Rollet. Multiple Mutation Testing for Timed Finite State Machine With Timed Guards and Timeouts

Accepted short papers

  • Shin Nakajima and Tsong Yueh Chen. Generating Biased Dataset for Metamorphic Testing of Machine Learning Program
  • Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, A. Omar Portillo-Dominguez and Liam Murphy. DYNAMOJM: A JMeter Tool for Performance Testing using Dynamic Workload Adaptation
  • Thomas Vergnaud and Maxime Samson. Automatic generation of test oracles from component based software architectures

Accepted industrial paper

  • Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana Cavalli, Brecht Vermeulen and Matevz Vucnik. IoT network monitoring and test of an industrial solution on Fed4Fire platforms