13th Workshop on Advances in Model Based Testing (A-MOST)
Co-located with ICST 2017, Tokyo, Japan

Programme of A-MOST 2017

08:00-09:00: Registration starts with pastries and coffee

09:00-09:10: Welcome Opening and Introduction

09:10-10:30: Keynote Speech 1: Ina Schieferdecker - “The New Version of the UML Testing Profile”

10:30-11:00: Coffee Break

11:00-12:30: Paper Session 1: Functional MBT

  • 11:00-11:30: Mutation-Based Test-Case Generation with Ecdar. Kim G. Larsen, Florian Lorber, Brian Nielsen and Ulrik M. Nyman
  • 11:30-12:00: Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines. Vanderson Hafemann Fragal, Adenilso Simao, André Takeshi Endo and Mohammad Reza Mousavi
  • 12:00-12:30: Property-Based Testing with External Test-Case Generators. Bernhard K. Aichernig, Silvio Marcovic and Richard Schumi

12:30-14:00: Lunch

14:00-15:30: Keynote Speech 2: Shaukat Ali - “Uncertainty-Wise Testing”

15:30-16:00: Coffee Break

16:00-17:30: Paper Session 2: Non-Functional MBT

  • 16:00-16:30: Planning-based Security Testing of the SSL/TLS Protocol. Josip Bozic, Kristoffer Kleine, Dimitris Simos and Franz Wotawa
  • 16:30-17:00: Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems. Bruno Lima and João Faria
  • 17:00-17:30: Pattern Based Usability Testing. Fernando Dias and Ana Paiva

17:30: Wrap Up and Closing