ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Abbot is a framework for testing Java GUIs. It lets you launch an application or GUI component, play back user actions on it, and examine its state. Tests may be coded or scripted. The editor supports recording user actions into a script, exploring the component hierarchy, running the script, and other features you'd expect from a script editor. Test scripts are JUnit extensions.
Alvicom LoadManager is a test tool that focuses on load, stress, stability, and performance criteria. The tool runs on all platforms supported by Eclipse and Java. Supported protocols are HTTP, HTTPS, socket (TCP/IP), JMS, and RMI. Result data is collected in a central repository. This data can be exported/manipulated quickly, easily, and usefully. Thousands of virtual users (data units) can be simulated and tested. Color-coding shows which users pass or fail, and a script-link is provided.
The Anthill Bug Manager is a tool that aids code development by keeping track of bugs in a medium-sized coding environment. It accomplishes this with a clean, simple, and fast interface that contains the essential features, but avoids the complexity associated with similar tools. It is written in Perl, requires an SQL database as a backend, and is Web server independent.
Anthill is a tool that ensures a controlled build process and promotes the sharing of knowledge within an organization. Anthill performs a checkout from the source repository of the latest version of a project before every build and tags the repository with a unique build number after every build. It supports many reposistory adapters including: CVS (Concurrent Versions System), Visual Source Safe, Perforce, PVCS, StarTeam, MKSIntegrity, and FileSystem. Anthill also automatically updates a project intranet site with artifacts from the latest build. Anthill is an extension to the Apache-Ant project and is compatible with version 1.3, 1.4, and 1.5 of Ant.
AnthillPro is a build management and lifecycle automation server for the enterprise that makes the build and release process easy and efficient. As a continuous integration server, it can produce a new build for every developer check-in. The entire team can be alerted to problems via email or instant message. Each build can then be promoted to higher statuses, or deployed to various servers and environments using your scripts. At every step, AnthillPro records who did what to keep your auditors happy.
Anthill3 is a radically altered approach to build and application lifecycle management. Anthill3 uses a concept called "Build Life" to not only automate the build process, but to also automate promotions and deployments. A central-server and agent architecture is at the core of Anthill3. The server manages configuration and workflow. The agents run the jobs powering distributed and multi-platform builds as well as promotion and deployment to multiple environments (such as DEV, QA, UAT, PROD, etc.).