OSMO
Open Source Modelling Objects (OSMO) consists of a number of tools and libraries to help in modeling software behaviour and to help in applying these models. The main tool in this set is currently OSMO Tester, which is a simple model-based testing tool.
