• 9:00-09:10  Opening

  • 9:10-10:30 Keynote: From Spec-based testing to Test Automation and Beyond, by Prof. Dr. Jeff Offutt

  • 10:30-11h Coffee break

  • 11:00-12:30 Session 1: Test cases generation and management

    • A Model-based Test Case Management Approach For Integrated Sets Of Domain-Specific Models. Reinhard Pröll and Bernhard Bauer
    • Generation of C++ Unit Tests from Abstract State Machines Specifications. Silvia Bonfanti, Angelo Gargantini and Atif Mashkoor
    • SPYH-method: an Improvement in Testing of Finite-State Machines. Michal Soucha and Kirill Bogdanov

  • 12:30-14:00 Lunch

  • 14:00-15:30 KeynoteConfiguration testing of Docker-based Microservices, by Dr. Brice Morin

  • 15:30-16:00 Coffee break

  • 16:00-17:30 Session 2: Application of model-based testing

    • Modelling Hand Gestures to Test Leap Motion Controlled Applications. Thomas White, Gordon Fraser and Guy Brown
    • Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. Arend Aerts, Bryan Tong Minh, Mohammadreza Mousavi and Michel Reniers
    • Lightweight Model-Based Testing for Enterprise IT. Elodie Bernard, Fabrice Ambert, Bruno Legeard and Arnaud Bouzy

  • 17:30 Wrap Up and Closing