Title: Proceedings of the First International Workshop on Model Inference in Testing