Proceedings of the First International Workshop on Model Inference in TestingRoland Groz · First published 2010Open the Tome