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