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.
OSMO Tester: http://code.google.com/p/osmo/
We offer software testing and test automation expertise to carry out and develop our customers software testing processes.
We have a long-term commitment to software testing and test automation research. We are continously partnering in national and international research projects to push the testing and test automation beyond its limits. Our focus is to participate actively on applied research projects enabling fast transfers of technological results to benefit our customers.