The proceedings are available here.

Information: the expected duration of a regular talk is 25 min plus 5 min for questions and transition. The expected duration of a keynote talk is 60-65 min, plus questions.

Tuesday, October 15

8:30 Registration, Welcome Coffee

9:30 Opening

9:45 Session 1. Keynote

Arnaud Gotlieb. Intelligence Testing of Autonomous Software Systems

11:00 Coffee Break

11:30 Session 2. Test Case Generation

  • 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
  • Omer Nguena Timo, Dimitri Prestat and Antoine Rollet. Multiple Mutation Testing for Timed Finite State Machine With Timed Guards and Timeouts

13:00 Lunch

14:30 Session 3. Test and Artificial Intelligence

  • Bernhard K. Aichernig, 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
  • Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene. Regular expression learning with evolutionary testing and repair
  • Josip Bozic and Franz Wotawa. Testing Chatbots using Metamorphic Relations
  • Shin Nakajima and Tsong Yueh Chen.. Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs

16:30 Coffee Break

17:00 Session 4. Empirical Approaches

  • 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

18:30 Welcome cocktail

Wednesday, October 16

9:00 Session 5. Security and Performance Testing

  • Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, A. Omar Portillo-Dominguez and Liam Murphy. Towards an Efficient Performance Testing through Dynamic Workload Adaptation
  • Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, A. Omar Portillo-Dominguez and Liam Murphy. DYNAMOJM: A JMeter Tool for Performance Testing using Dynamic Workload Adaptation
  • Georges Ouffoué, Fatiha Zaïdi and Ana R. Cavalli. Attack tolerance for service-based applications in the Cloud

10:30 Coffee Break

11:00 Session 6. Industrial Applications

  • Maxime Samson and Thomas Vergnaud. Automatic generation of test oracles from component based software architectures
  • Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana Cavalli, Brecht Vermeulen and Matevz Vucnik. Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms
  • 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

12:30 Lunch

14:00 Session 7. Invited Tutorial.

  • Boutheina Bannour, Arnault Lapitre, Nicky Williams. Symbolic Execution in Testing: Illustration on the PathCrawler and Diversity tools.

15:30 Coffee Break

16:00 Session 8. Testing and Verification Techniques

  • Clotilde Erard and Alain Giorgetti. Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs
  • Robert Sachtleben, Jan Peleska, Rob Hierons and Wen-Ling Huang. A Mechanised Proof of an Adaptive State Counting Algorithm
  • Evgenii Vinarskii, Jorge Lopez, Natalia Kushik, Nina Yevtushenko and Djamal Zeghlache. A Model Checking based Approach for Detecting SDN Races

20:00 Conference dinner

Thursday, October 17 (ICTSS/MTV2 Joint Day)

9:30 Session 9. Keynote

  • Mauro Pezzè. Testing Human-Centric Cyber-Physical Systems

10:45 Coffee Break

11:00 Session 10. Industrial presentations

  • Frédéric Rivière. JUnit for Testing Constrained Embedded Systems
  • Fabrice Trollet. Platform for automated testing of distributed systems applied to case studies (Airbus, Thales and IoT)
  • Yves Génevaux. Automating Functional Validation of Embedded Systems

12:30 Lunch

14:00-17:00 Sessions MTV2

17:00-17:10 Closing session


Accepted full papers

  • Bernhard K. Aichernin, 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 Programs
  • 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. Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms