mda4eclipse is a domain-driven and model-driven development eclipse plugin. Its purpose is to present a way of using different project sites to work together and establish a shared development environment.
QC4J is an automated, specification-based testing framework, based on QuickCheck for Haskell. It makes it easy to test referentially transparent code, by creating test data automatically through user-defined generators.
Java Mutantion Testing for Eclipse is a plugin for Eclipse that enables mutation testing for Java projects. JMuTE introduces mutations to java source code, runs junit tests and generates an html report.
SecurityCoach is an extensible software security auditing system that integrates with Eclipse, seamlessly performs static analysis of the source code in the background and warns a developer about potential software security vulnerabilities.
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.
Simloc is the tool intended for finding similar chunks (blocks) of code. It could be used in reverse software engineering. It is faster than SimScan, find better blocks than PMD/CPD (not just exact blocks also similar) and could be runed at GRID.
BeCover is a Java code coverage tool based on source-code analysis. The main goal is to keep it small and fast, so using it as a plugin in the common IDE's can be achieved.
Example Code Manager is an Eclipse-Plugin for managing sample code and sample data from repositories around the world. Mainly subversion repositories, but support for flat file or CVS repositories are planned.
Tiria is a eclipse-plugin to view code coverage data (e.g. from cobertura) within the IDE. Main objective of the plugin is to show how the code coverage changes during project progress.
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.
ATF is a unit tests generation tool. It uses model based testing and code based techniques. It is implemented as
ant build command and as a stand alone GUI application.
Its main goal is to provide a complete test suite for any given software under test.