Using Synchronizing Heuristics to Construct Homing Sequences Topics: Model-Based Testing and Validation In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 364-371, 2019 , Prague, Czech Republic