Selenium IDE is an integrated development environment for Selenium tests. It is implemented as a Firefox extension, and allows you to record, edit, and debug tests. Selenium IDE includes the entire Selenium Core, allowing you to easily and quickly record and play back tests in the actual environment that they will run. It features autocomplete support and the ability to move commands around quickly.
Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.
Perl::Critic is an extensible framework for creating and applying coding standards to Perl source code. Essentially, it is a static source code analysis engine. It is distributed with a number of Perl::Critic::Policy modules that attempt to enforce various coding guidelines. Most Policy modules are based on Damian Conway's book Perl Best Practices. However, Perl::Critic is not limited to PBP, and will even support Policies that contradict Conway. You can enable, disable, and customize those Polices through the Perl::Critic interface. You can also create new Policy modules that suit your own tastes.
JUnitX is a module on top of JUnit 3.2 by Kent Beck and Erich Gamma. It is a well-designed Java testing framework to write tests in the style of Extreme Programming. It allows you access to private and protected classes, methods, and fields in order to write improved and well-organized test cases. JUnit and an old version of JUnitX are also part of Together since version 5.5.
cutee is a C++ unit testing environment that makes it really easy to create and run tests of a library or application. It will automatically generate Makefiles, runner classes (classes that execute test functions), and main test application code. It will also automatically update Makefiles and support classes whenever you add new test functions or modify old ones. It easily integrates with plain Makefile projects and with Autotools.
moap is a Swiss army knife for project maintainers and developers. It aims to help in keeping you in the flow of maintaining, developing, and releasing. It automates whatever tasks can be automated. It allows you to parse DOAP files and submit releases, send release mails, create iCal files and RSS feeds, maintain version control ignore lists, check in based on the latest ChangeLog entry, and more.