Subversion log extraction and formatting tool. Retrieves svn log as XML data and transforms it to HTML using XSLT. Allows regex filtering on log messages.
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.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
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.