Proceedings of the 1st international workshop on Advances in model-based testing