SubEthaSMTP is an easy to understand Java library that provides a receptive SMTP server component. By plugging this component into your Java application, you can easily receive SMTP mail using a simple abstract Java interface. Also included is a small sub-project called Wiser, an easy to use incoming mail testing framework.
DEPS (formerly known as graph-includes) is a set of tools and libraries which allows users to extract dependency information from arbitrary material (e.g. program source files), apply various transformations to this graph, and draw it. It is typically used as helper tool for a refactoring effort, to create a graph of dependencies between groups of source files. Readability and usability of the dependency graphs are currently improved by customizable grouping of several source files into a single node, coloring of nodes belonging to given groups, and transitive reduction of the graph.
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.
AntiCutAndPaste is designed to search for text fragments that have been copied and pasted in programming language source code or plain text. It has been tested on sources from large C++, Pascal, Java, and C# (Mono) projects. The algorithms used are very fast and can handle up to three million C++ code lines in one minute. Minor modifications of code are ignored during the search. Reports are sorted conveniently by the total size of all similar fragments and there are many report customization options.
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.
PureLoad is a load testing tool that simulates thousands of users executing requests against server based applications. It can be used to verify that your application will meet the expected performance criteria. PureLoad reports quality and performance problems, as well as detailed statistics gathered during a load test. PureLoad also includes extensive support for easy recording and testing of Web-based applications. The HTTP Recorder ease the process of capturing HTTP and HTTPS requests into PureLoad scenarios. The Web Crawler is used to scan a static Web site for general errors, and it can also be used to generate PureLoad scenarios to be used in a load test.
JCSC is a powerful tool that checks source code against a highly definable coding standard for potentially bad code. Standards cover naming conventions for classes, interfaces, fields, and parameters, and the structural layout of classes and interfaces. Each rule is highly customizable. It can also find potential bugs, including empty catch/finally blocks, switches without defaults, throwing 'Exception' types, and slow code. JCSC was inspired by lint.