MIIT 2010 Proceedings of the First International Workshop on Model Inference in Testing : Held in Conjunction with ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010) : Trento, Italy, July 13, 2010