A tool for system tests
Generation of test suites from test specifications
Test Management Platform for Automation
Frontend & Backend Automation Tool
Quality-Check is a small Java library for basic runtime checks of vars
Madcow 2.0 - Advanced Test Automation
Library tools to collect timing in Java, C, C++
Enables you to run load test written in a .Net language with Grinder.
Null dereference verifier for Java Programs
MOVED TO GITHUB. Code here is STALE.
Source Code Analyzer
SPIN-based Eclipse Model Checking Plugin
Functional Test Automation tool for pure AS 3.0 SWF and Flash Games
Automate your software testing, the fastest way!
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification