Proceedings of the First International Workshop on Model Inference In Testing