Proceedings of the First International Workshop on Model Inference In Testing
ACM Digital Library