Sagen provides the ability (for non-techncial personnel) to develop use case descriptions which are compiled against the java source and test code enabling requirements tracability and project development progress.
Sutri is a system for tests management. It does not deal directly with testing tools but enables you to manage tests, results and reports in a coherent way, without concerning about what tool is used to execute such tests.
Development of traces for VDM. A trace statement is used to enhance a VDM models quality by providing an easy way to describe statements used to perform regression testing on the model. This project is related to the OvertureTool project.