Umlaut
Umlaut / Model Driven Requirement Engineering is a set of tools and frameworks that makes the most of the user requirements using a model driven approach. We use them to generate tests.
You'll find here the links to the several prototype that we have build.