Proceedings of the First International Workshop on Model Inference in Testing | lit.salon